alla flaggor
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: picosat  ]

Paket: picosat (965-2)

Länkar för picosat

Screenshot

Debianresurser:

Hämta källkodspaketet picosat:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Märken: Field: Matematik, Implemented in: C, Role: Program

Andra paket besläktade med picosat

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta picosat

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
armel 84,9 kbyte794,0 kbyte [filförteckning]