semvec/pypi-packages huggingface dataset:
pyPicosat 965.1708010052
Picosat SAT-Solver Wrapper
License: BSD

==========================
Picosat SAT-Solver Wrapper
==========================

pyPicosat provides a basic wrapping around the efficient Picosat SAT-Solver.

To build this wrapper you need SWIG to be installed.

Picosat is developed by Armin Biere, for more information: http://fmv.jku.at/picosat/