search

niklasso / minisat

A minimalistic and high-performance SAT solver
minisat.se
Other
1.01k stars 382 forks source link

Ci extensions #43

Closed conp-solutions closed 2 years ago

conp-solutions commented 3 years ago

Some changes that help further extensions