Low-level CFFI bindings for PicoSAT
Project description
A cffi binding for PicoSAT [1], a SAT solver written in C. This binding is designed to expose the whole PicoSAT API at a moderately low level.
0.0.1
Initial version
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
picosat-cffi-0.0.1.tar.gz
(78.2 kB
view hashes)
