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

Paket: picosat (960-1 och andra)

Länkar för picosat

Screenshot

Debianresurser:

Hämta källkodspaketet picosat:

Ansvarig:

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 Version Paketstorlek Installerad storlek Filer
amd64 960-1+b2 120,1 kbyte740,0 kbyte [filförteckning]
arm64 960-1+b2 97,3 kbyte628,0 kbyte [filförteckning]
armhf 960-1+b2 102,9 kbyte494,0 kbyte [filförteckning]
i386 960-1+b2 125,5 kbyte713,0 kbyte [filförteckning]