search

niklasso / minisat

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

Fix drat #32

Closed conp-solutions closed 6 years ago

conp-solutions commented 6 years ago

Fix proof generation.

conp-solutions commented 6 years ago

Created against the wrong repository.