Anaconda.org

Community

Bindings to picosat (a SAT solver)

Versions

To install this package, run one of the following:

$conda install jetson-tx2::pycosat

Version

1 / 8 versions selected

Total downloads: 0

Summary

Bindings to picosat (a SAT solver)

Information Last Updated

Mar 25, 2025 at 16:23

License

MIT

Total Downloads

113

Platforms

Linux aarch64 Version: 0.6.1

Home