ersatz-0.4.9: 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 HaskellSafe-Inferred
LanguageHaskell2010

Ersatz.Solver.DepQBF

Description

DepQBF is a solver capable of solving quantified boolean formulae (QBF).

Synopsis

Documentation

depqbf :: MonadIO m => Solver QSAT m Source #

This is a Solver for QSAT problems that runs the depqbf solver using the current PATH, it tries to run an executable named depqbf.

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

This is a Solver for QSAT problems that lets you specify the path to the depqbf executable.