niklasso/minisat-haskell-bindings — pull request #2 by jwaldmann (2013-01-20 13:12:02+00:00)
Title: add withNewSolverAsync

starting a solver in such a way that it can be threadKill-ed