pycosat

Community

Bindings to picosat (a SAT solver)

Versions

To install this package, run one of the following:

$conda install rpi::pycosat

Version

2 / 8 versions selected

Downloads (Last 6 months): 0

Summary

Bindings to picosat (a SAT solver)

Last Updated

Nov 10, 2017 at 03:06

License

MIT

Supported Platforms

linux-armv6l

linux-armv7l

Home