Tarkennettu haku
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Source: picosat  ]

Paketti: picosat (936-4)

Links for picosat

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti picosat:

Ylläpitäjä:

External Resources:

Samankaltaisia paketteja:

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.

Tagit: Field: Matematiikka, Implemented in: C, Role: Program

Muut pakettiin picosat liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi picosat

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 292.4 kt661.0 kt [tiedostoluettelo]
armel 269.2 kt572.0 kt [tiedostoluettelo]
armhf 246.1 kt458.0 kt [tiedostoluettelo]
i386 261.8 kt608.0 kt [tiedostoluettelo]
ia64 467.1 kt1,262.0 kt [tiedostoluettelo]
kfreebsd-amd64 292.4 kt663.0 kt [tiedostoluettelo]
kfreebsd-i386 261.5 kt565.0 kt [tiedostoluettelo]
mips 325.4 kt734.0 kt [tiedostoluettelo]
mipsel 322.4 kt734.0 kt [tiedostoluettelo]
powerpc 266.2 kt587.0 kt [tiedostoluettelo]
s390 303.5 kt673.0 kt [tiedostoluettelo]
s390x 325.3 kt826.0 kt [tiedostoluettelo]
sparc 317.9 kt727.0 kt [tiedostoluettelo]