search

ekmett / ersatz

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

tests/Moore.hs : anyminisat => minisat (else, silent error when solvers are missing) #64

Closed jwaldmann closed 2 years ago

jwaldmann commented 2 years ago

I was trying to run tests/Moore.hs, and it just failed without any indication why.

The source code uses solveWith anyminisat, where anyminisat = trySolvers [cryptominisat5, cryptominisat, minisat]

On my machine, I did not have cryptominisat installed, and that makes the call fail.

glguy commented 2 years ago

trySolvers was broken, it should fallback correctly now