CMD + K
Sign In
Sign Up
conda-forge
/
pycosat
pycosat
Community
Bindings to picosat (a SAT solver)
Copied from
cf-post-staging / pycosat
Overview
Files
536
Labels
4
Badges
4 items
Name
Latest Version
cf201901
0.6.3
cf202003
0.6.3
gcc7
0.6.3
main
0.6.6
