SAT Solver Interface
Project description
# ♄ SATyrn: A SAT Solver Toolbox [](https://travis-ci.org/jeffrey-hokanson/SATyrn)
An interface to SAT solvers.
## See Also
[pycosat](https://github.com/ContinuumIO/pycosat)
[pylgl](https://github.com/abfeldman/pylgl)
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
satyrn-0.1.1.tar.gz
(43.9 kB
view hashes)
](https://travis-ci.org/jeffrey-hokanson/SATyrn){kind=link}