pycosat

Community

Bindings to picosat (a SAT solver)

Versions

To install this package, run one of the following:

$conda install quansight-small-test::pycosat

Version

1 / 8 versions selected

Downloads (Last 6 months): 0

Summary

Bindings to picosat (a SAT solver)

Last Updated

May 13, 2019 at 18:24

License

MIT

Total Downloads

1.2M

Supported Platforms

linux-ppc64le

linux-64

win-32

linux-aarch64

macOS-64

win-64