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

Package: picosat (936-4)

Links for picosat


Debian Resources:

Download Source Package picosat:


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
amd64 292.4 kB661.0 kB [list of files]
armel 269.2 kB572.0 kB [list of files]
armhf 246.1 kB458.0 kB [list of files]
i386 261.8 kB608.0 kB [list of files]
ia64 467.1 kB1,262.0 kB [list of files]
kfreebsd-amd64 292.4 kB663.0 kB [list of files]
kfreebsd-i386 261.5 kB565.0 kB [list of files]
mips 325.4 kB734.0 kB [list of files]
mipsel 322.4 kB734.0 kB [list of files]
powerpc 266.2 kB587.0 kB [list of files]
s390 303.5 kB673.0 kB [list of files]
s390x 325.3 kB826.0 kB [list of files]
sparc 317.9 kB727.0 kB [list of files]