search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
62 stars 15 forks source link

support cryptominisat5 #25

Closed cutsea110 closed 7 years ago

cutsea110 commented 7 years ago

Hi.

I've fail to parse cryptominisat5's output solution file. This patch fix it.

ekmett commented 7 years ago

Hrmm. What caused you to delete the patch and close the pull request?

cutsea110 commented 7 years ago

What happen!? I'll try again.