всички настройки
trixie  ] [  sid  ]
[ Източник: kissat  ]

Пакет: kissat (4.0.1-3)

Връзки за kissat

Screenshot

Ресурси за Debian:

Изтегляне на пакет-източник 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

  • зависимости
  • препоръчани
  • предложени
  • enhances

Изтегляне на kissat

Изтегляне за всички налични архитектури
Архитектура Големина на пакета Големина след инсталиране Файлове
alpha (неофициална архитектура) 316,2 кБ1 107,0 кБ [списък на файловете]
amd64 349,1 кБ967,0 кБ [списък на файловете]
arm64 307,5 кБ916,0 кБ [списък на файловете]
armel 328,8 кБ963,0 кБ [списък на файловете]
armhf 330,8 кБ727,0 кБ [списък на файловете]
hppa (неофициална архитектура) 332,2 кБ935,0 кБ [списък на файловете]
i386 355,9 кБ1 062,0 кБ [списък на файловете]
m68k (неофициална архитектура) 318,0 кБ962,0 кБ [списък на файловете]
mips64el 301,7 кБ1 001,0 кБ [списък на файловете]
ppc64 (неофициална архитектура) 340,2 кБ1 172,0 кБ [списък на файловете]
ppc64el 339,0 кБ1 108,0 кБ [списък на файловете]
riscv64 351,7 кБ807,0 кБ [списък на файловете]
s390x 339,3 кБ936,0 кБ [списък на файловете]
sh4 (неофициална архитектура) 413,4 кБ850,0 кБ [списък на файловете]
sparc64 (неофициална архитектура) 301,4 кБ1 044,0 кБ [списък на файловете]
x32 (неофициална архитектура) 351,4 кБ934,0 кБ [списък на файловете]