Port variant | standard |
Summary | Satisfiability (SAT) solver for boolean variables |
BROKEN | |
Package version | 965 |
Homepage | https://fmv.jku.at/picosat/ |
Keywords | math |
Maintainer | nobody |
License | MIT |
Other variants | There are no other variants. |
Ravenports | Buildsheet | History |
Ravensource | Port Directory | History |
Last modified | 25 APR 2023, 21:12:43 UTC |
Port created | 12 JUL 2019, 17:47:55 UTC |
single | PicoSAT is a satisfiability (SAT) solver for boolean variables in boolean expressions. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given set of expressions true. If it's satisfiable, it can also show a set of assignments that make the expression true. Many problems can be broken down into a large SAT problem (perhaps with thousands of variables), so SAT solvers have a variety of uses. |
This package has no dependency requirements of any kind. |
main | https://fmv.jku.at/picosat/ |
ravensw:standard | Ravenports binary package manager |