Picomus Installation On A Debian, Ubuntu, Kali, Fedora And Raspbian
Maintainer: Michael Tautschnig
Email: [email protected] .
Website: http://fmv.jku.at/picosat/
Section: science
Install picomus
-
Debian
apt-get install picosat
Click to copy -
Ubuntu
apt-get install picosat
Click to copy -
Kali Linux
apt-get install picosat
Click to copy -
Fedora
dnf install picosat
Click to copy -
Raspbian
apt-get install picosat
Click to copy
picosat
SAT solver with proof and core supportDespite 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.
Install the latest version of picomus in Debian, Ubuntu, Kali, Fedora and Raspbian from terminal. To install the picomus just copy the above command for your OS and run into terminal. After you run the command it will grab the latest version of picomus from the respository and install it in your computer/server.