ersatz-0.2: A monad for expressing SAT or QSAT problems using observable sharing.
Ersatz.Solver.DepQBF
Description
depqbf :: MonadIO m => Solver QSAT mSource
depqbfPath :: MonadIO m => FilePath -> Solver QSAT mSource