conda-forge / packages / simplesat

• 0

SAT solver for use in Enstaller, based on the MiniSat implementation

copied from cf-staging / simplesat

• Conda
• Files
• Labels
• Badges

Label	Latest Version
main	0.9.1
cf202003	0.8.2