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