CMD + K
Sign In
Sign Up
conda-forge
/
cryptominisat
cryptominisat
Community
An advanced SAT Solver https://www.msoos.org
Copied from
cf-staging / cryptominisat
Overview
Files
151
Labels
4
Badges
4 items
Name
Latest Version
cf201901
5.6.5
cf202003
5.6.8
gcc7
5.6.5
main
5.8.0
