Paketti: picosat (965-2 ja muut)

Links for picosat

eLxr Patch Tracker

Imuroi lähdekoodipaketti picosat:

Ylläpitäjät:

External Resources:

Kotisivu [fmv.jku.at]

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.

Muut pakettiin picosat liittyvät paketit

depends

recommends

suggests

enhances

dep: libc6 (>= 2.34) [arm64]

GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc6-udeb

dep: libc6 (>= 2.7) [amd64]

Imuroi picosat

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	965-2	92.3 kt	879.0 kt	[tiedostoluettelo]
arm64	965-2+b1	87.4 kt	1,055.0 kt	[tiedostoluettelo]