Пакет: kissat (4.0.2-1 и другие)

[ Источник: kissat  ]

Keep it simple and clean bare metal SAT solver

Kissat is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation.

This package contains binaries needed to use Kissat as a stand-alone tool.

Другие пакеты, относящиеся к kissat

• dep: libc6 (>= 2.34) [не alpha, sh4]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6-udeb

  dep: libc6 (>= 2.40) [sh4]

• dep: libc6.1 (>= 2.34) [alpha]

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6.1-udeb

• sug: bzip2

  сжатие файлов по алгоритму Барроуза—Уилера (программы)

• sug: gzip (>= 1)

  утилиты сжатия GNU

• sug: p7zip

  переходной пакет
  также виртуальный пакет, предоставляемый 7zip

• sug: xz-utils

  утилита для работы с архивами в формате XZ

Загрузка kissat

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	4.0.1-3	316,2 Кб	1 107,0 Кб	[список файлов]
amd64	4.0.2-1	349,9 Кб	971,0 Кб	[список файлов]
arm64	4.0.2-1	307,7 Кб	916,0 Кб	[список файлов]
armel	4.0.2-1	328,7 Кб	979,0 Кб	[список файлов]
armhf	4.0.2-1	331,3 Кб	787,0 Кб	[список файлов]
hppa (неофициальный перенос)	4.0.2-1	332,5 Кб	935,0 Кб	[список файлов]
i386	4.0.2-1	355,9 Кб	1 066,0 Кб	[список файлов]
m68k (неофициальный перенос)	4.0.2-1	321,6 Кб	970,0 Кб	[список файлов]
mips64el	4.0.2-1	302,7 Кб	1 065,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	4.0.2-1	340,9 Кб	1 172,0 Кб	[список файлов]
ppc64el	4.0.2-1	339,6 Кб	1 108,0 Кб	[список файлов]
riscv64	4.0.2-1	352,6 Кб	811,0 Кб	[список файлов]
s390x	4.0.1-3	339,3 Кб	936,0 Кб	[список файлов]
sh4 (неофициальный перенос)	4.0.2-1	413,3 Кб	850,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	4.0.2-1	302,0 Кб	1 044,0 Кб	[список файлов]
x32 (неофициальный перенос)	4.0.2-1	351,7 Кб	938,0 Кб	[список файлов]