ersatz-0.2.6: A monad for expressing SAT or QSAT problems using observable sharing.

Portabilitynon-portable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellTrustworthy

Ersatz.Solver.DepQBF

Description

 

Documentation

depqbf :: MonadIO m => Solver QSAT mSource

depqbfPath :: MonadIO m => FilePath -> Solver QSAT mSource