conda-forge / packages / cryptominisat

• 0

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

copied from cf-staging / cryptominisat

• Conda
• Files
• Labels
• Badges

Filters

Type: All

• All
• conda

Version: 5.6.8

• All
• 5.8.0
• 5.6.8
• 5.6.7
• 5.6.5
• 5.6.4
• 5.6.3
• 5.6.2
• 5.6.1
• 5.6.0
• 5.0.2

Label: gcc7

• All
• Files with no label
• cf201901
• cf202003
• gcc7
• main