Picosat SAT-Solver Wrapper
Project description
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/
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
pyPicosat-960.1610040816.tar.gz
(408.7 kB
view hashes)