picosat
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
Subpackage Descriptions
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.
Configuration Switches (platform-specific settings discarded)
This port has no build options.
Package Dependencies by Type
This package has no dependency requirements of any kind.
Download groups
main https://fmv.jku.at/picosat/
Distribution File Information
15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 64386 picosat-965.tar.gz
Ports that require picosat:standard
ravensw:standard Ravenports binary package manager