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

Copyright© Edward Kmett 2010-2014, Johan Kiviniemi 2013
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellTrustworthy
LanguageHaskell2010

Ersatz.Solver.DepQBF

Description

 

Documentation

depqbf :: MonadIO m => Solver QSAT m Source

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