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.3.0.tar.gz
(53.0 kB
view hashes)
Built Distributions
Close
Hashes for satyrn-0.3.0-py3.7-macosx-10.14-x86_64.egg
Algorithm | Hash digest | |
---|---|---|
SHA256 | b9eb1d1e9a38b9c899a43245371ba4815c39794b93fb85d931486292ffe573d9 |
|
MD5 | aa45aed2bce424ab0b258db895607b3f |
|
BLAKE2b-256 | 778215101a497389da483e2945edbcb0841ebaa95ca1558cf6b1ba655ac48ed8 |
Close
Hashes for satyrn-0.3.0-py2.7-macosx-10.14-x86_64.egg
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2e2aace7b67cee2d4c271d14fa1420c03f28ab88f7631194236348dba378fb10 |
|
MD5 | 59500b17e9cc4c4c42354116f93de04e |
|
BLAKE2b-256 | 7f577ba4fad28864d170e2ffffbcee6b1d9508a9cab2da26ee131942f0b30ffb |