ersatz-0.2: A monad for expressing SAT or QSAT problems using observable sharing.
Ersatz.Solver
Description
module Ersatz.Solver.DepQBF
module Ersatz.Solver.Minisat
solveWith :: (Monad m, HasSAT s, Default s, Decoding a) => Solver s m -> StateT s m a -> m (Result, Maybe (Decoded a))Source