Safe Haskell | None |
---|---|
Language | Haskell98 |
Satchmo.SAT.External
Description
call an external solver as separate process, communicate via pipes.
satchmo-2.9.9.3: SAT encoding monad
Safe Haskell | None |
---|---|
Language | Haskell98 |
Satchmo.SAT.External
Description
call an external solver as separate process, communicate via pipes.