all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: picosat  ]

Package: picosat (965-2)

Links for picosat

Screenshot

Debian Resources:

Download Source Package picosat:

Maintainers:

External Resources:

Similar packages:

SAT-løser med proof- og core-understøttelse

På trods af NP-fuldstændigheden i opfyldelighedsproblemet for booleske formler (SAT) er SAT-løsere ofte bedre i stand til at bestemme dette problem på en fornuftig tid. Da alle andre NP-fuldstændige problemer kan reduceres til SAT, er løserne blevet et alment værktøj for denne problemklasse.

PicoSAT er en SAT-løser, som viste sig at være hurtigere på industrielle instanser end MiniSAT 2.0 og kan også oprette proof'er og core'r i hukommelsen.

Tags: Field: Mathematics, Implemented in: C, Role: Program

Other Packages Related to picosat

  • depends
  • recommends
  • suggests
  • enhances

Download picosat

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 92.3 kB879.0 kB [list of files]
arm64 84.2 kB895.0 kB [list of files]
armel 84.9 kB794.0 kB [list of files]
armhf 83.4 kB620.0 kB [list of files]
i386 96.5 kB866.0 kB [list of files]
mips64el 96.0 kB1,060.0 kB [list of files]
mipsel 95.7 kB913.0 kB [list of files]
ppc64el 100.9 kB1,261.0 kB [list of files]
s390x 86.1 kB893.0 kB [list of files]