all options
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Source: picosat  ]

Package: picosat (960-1 and others)

Links for picosat

Screenshot

Debian Resources:

Download Source Package picosat:

Maintainer:

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 Version Package Size Installed Size Files
alpha (unofficial port) 960-1 134.6 kB983.0 kB [list of files]
amd64 960-1+b2 120.1 kB740.0 kB [list of files]
arm64 960-1+b2 97.3 kB628.0 kB [list of files]
armel 960-1+b2 102.7 kB657.0 kB [list of files]
armhf 960-1+b2 102.9 kB494.0 kB [list of files]
hppa (unofficial port) 960-1 150.9 kB805.0 kB [list of files]
hurd-i386 960-1 146.7 kB736.0 kB [list of files]
i386 960-1+b2 125.5 kB713.0 kB [list of files]
kfreebsd-amd64 960-1+b2 119.9 kB729.0 kB [list of files]
kfreebsd-i386 960-1+b2 125.4 kB703.0 kB [list of files]
m68k (unofficial port) 960-1 111.5 kB604.0 kB [list of files]
mips 960-1+b2 127.0 kB785.0 kB [list of files]
mips64el 960-1+b2 128.4 kB880.0 kB [list of files]
mipsel 960-1+b2 129.6 kB787.0 kB [list of files]
powerpc 960-1+b2 117.1 kB900.0 kB [list of files]
powerpcspe (unofficial port) 960-1 116.9 kB682.0 kB [list of files]
ppc64 (unofficial port) 960-1+b1 111.3 kB822.0 kB [list of files]
ppc64el 960-1+b2 112.8 kB965.0 kB [list of files]
s390x 960-1+b2 110.3 kB814.0 kB [list of files]
sh4 (unofficial port) 960-1 146.7 kB606.0 kB [list of files]
sparc64 (unofficial port) 960-1 109.7 kB757.0 kB [list of files]
x32 (unofficial port) 960-1 125.9 kB739.0 kB [list of files]