Tarkennettu haku
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: picosat  ]

Paketti: picosat (965-2)

Links for picosat

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti picosat:

Ylläpitäjät:

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
armhf 83.4 kt620.0 kt [tiedostoluettelo]