devel/picosat: Satisfiability (SAT) solver for boolean variables

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.

WWW: http://fmv.jku.at/picosat


git-svn-id: svn+ssh://svn.freebsd.org/ports/head@365711 35697150-7ecd-e111-bb59-0022644237b5
[NEW] devel/py-pycosat: Bindings to PicoSAT (a SAT solver)

PicoSAT is a popular SAT solver written by Armin Biere in pure C. This
package provides efficient Python bindings to picosat on the C level,
i.e. when importing pycosat, the picosat solver becomes part of the
Python process itself.

WWW: https://github.com/ContinuumIO/pycosat


git-svn-id: svn+ssh://svn.freebsd.org/ports/head@365712 35697150-7ecd-e111-bb59-0022644237b5