conda-forge / packages / cryptominisat

• 0

An advanced SAT Solver https://www.msoos.org

copied from cf-staging / cryptominisat

• Conda
• Files
• Labels
• Badges

Label	Latest Version
main	5.8.0
cf201901	5.6.5
cf202003	5.6.8
gcc7	5.6.5