all options
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]
[ Source: picosat  ]

Package: picosat (965-2)

Links for picosat

Screenshot

Debian Resources:

Download Source Package picosat:

Maintainers:

External Resources:

Similar packages:

SAT solver with proof and core support

Despite the NP completeness of the satisfiabilty problem of Boolean formulas (SAT), SAT solvers are often able to decide this problem in a reasonable time frame. As all other NP complete problems are reducible to SAT, the solvers have become a general purpose tool for this class of problems.

PicoSAT is a SAT solver that turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.

Tags: Field: Mathematics, Implemented in: C, Role: Program

Other Packages Related to picosat

  • depends
  • recommends
  • suggests
  • enhances

Download picosat

Download for all available architectures
Architecture Package Size Installed Size Files
alpha (unofficial port) 98.0 kB1,115.0 kB [list of files]
amd64 92.3 kB879.0 kB [list of files]
arm64 84.2 kB895.0 kB [list of files]
armel 84.9 kB794.0 kB [list of files]
armhf 83.4 kB620.0 kB [list of files]
hppa (unofficial port) 115.1 kB873.0 kB [list of files]
i386 96.5 kB866.0 kB [list of files]
ia64 (unofficial port) 108.4 kB1,599.0 kB [list of files]
m68k (unofficial port) 85.3 kB780.0 kB [list of files]
mips64el 96.0 kB1,060.0 kB [list of files]
mipsel 95.7 kB913.0 kB [list of files]
ppc64 (unofficial port) 100.3 kB1,463.0 kB [list of files]
ppc64el 100.9 kB1,261.0 kB [list of files]
riscv64 (unofficial port) 146.1 kB2,309.0 kB [list of files]
s390x 86.1 kB893.0 kB [list of files]
sh4 (unofficial port) 91.2 kB692.0 kB [list of files]
sparc64 (unofficial port) 88.0 kB1,006.0 kB [list of files]
x32 (unofficial port) 91.8 kB812.0 kB [list of files]