conda-forge / packages / pycosat

• 0

Bindings to picosat (a SAT solver)

copied from cf-staging / pycosat

• Conda
• Files
• Labels
• Badges

Label	Latest Version
main	0.6.6
cf201901	0.6.3
cf202003	0.6.3
gcc7	0.6.3