all options
trixie  ] [  sid  ]
[ Source: kissat  ]

Package: kissat (4.0.1-3)

Links for kissat

Screenshot

Debian Resources:

Download Source Package kissat:

Maintainers:

External Resources:

Similar packages:

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.

Other Packages Related to kissat

  • depends
  • recommends
  • suggests
  • enhances

Download kissat

Download for all available architectures
Architecture Package Size Installed Size Files
alpha (unofficial port) 316.2 kB1,107.0 kB [list of files]
amd64 349.1 kB967.0 kB [list of files]
arm64 307.5 kB916.0 kB [list of files]
armel 328.8 kB963.0 kB [list of files]
armhf 330.8 kB727.0 kB [list of files]
hppa (unofficial port) 332.2 kB935.0 kB [list of files]
i386 355.9 kB1,062.0 kB [list of files]
m68k (unofficial port) 318.0 kB962.0 kB [list of files]
mips64el 301.7 kB1,001.0 kB [list of files]
ppc64 (unofficial port) 340.2 kB1,172.0 kB [list of files]
ppc64el 339.0 kB1,108.0 kB [list of files]
riscv64 351.7 kB807.0 kB [list of files]
s390x 339.3 kB936.0 kB [list of files]
sh4 (unofficial port) 413.4 kB850.0 kB [list of files]
sparc64 (unofficial port) 301.4 kB1,044.0 kB [list of files]
x32 (unofficial port) 351.4 kB934.0 kB [list of files]