Ersatz.Problem
data SAT
class HasSAT s
runSAT
runSAT'
dimacsSAT
literalExists
assertFormula
generateLiteral
data QSAT
class HasQSAT t
runQSAT
runQSAT'
qdimacsQSAT
literalForall
class DIMACS t
class QDIMACS t
class WDIMACS t
dimacs
qdimacs
wdimacs