SAT Solver Interface
Project description
# ♄ SATyrn: A SAT Solver Toolbox [![Build Status](https://travis-ci.org/jeffrey-hokanson/SATyrn.svg?branch=master)](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)
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
satyrn-0.1.0.tar.gz
(43.8 kB
view hashes)
Built Distributions
Close
Hashes for satyrn-0.1-py3.7-macosx-10.14-x86_64.egg
Algorithm | Hash digest | |
---|---|---|
SHA256 | fd1dd900c1149423ed156e9f742f8af37e9cf85a2f5b0975318d62a3ce6c7c1a |
|
MD5 | 62aa2a485d9b695455f422a0caf51514 |
|
BLAKE2b-256 | 2b8f022aea497b463f0c58d85209cf686d6b03a813f249c8ba20049eca6ff9d6 |
Close
Hashes for satyrn-0.1-cp37-cp37m-macosx_10_14_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 053c87e79e472cd420de371b31935d62df5e923e4fe2fc5a62f92f2c36daa2ec |
|
MD5 | 4bfb176935b11e6e26bb2f1f63bb63a8 |
|
BLAKE2b-256 | 87945a31d1b6d62bb1d0e0b5938da2cbfc45b3dc65d76e25e08bbda3ca05c8e8 |