Support cryptominisat5, which has a different output format.

ekmett / ersatz

A monad for interfacing with external SAT solvers

Other

62 stars 15 forks source link

Support cryptominisat5, which has a different output format. #39

Closed nshepperd closed 5 years ago

nshepperd commented 5 years ago

solveWith cryptominisat didn't work for me with cryptominisat 5.6.8. It looks like the command line flags and output format changed in v5, so I added a simple parser for the console output format of cryptominisat5.

glguy commented 5 years ago

This is great, especially since minisat was recently removed from Homebrew. Could you parameterize the new definition by a FilePath for instances where it's not in PATH and then provide a default?

nshepperd commented 5 years ago

Done!