toysolver-0.9.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc

Copyright	(c) Masahiro Sakai 2012
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred
Language	Haskell2010

ToySolver.SAT.TheorySolver

Description

Documentation

data TheorySolver Source #

Constructors

TheorySolver
Fields thAssertLit :: (Lit -> IO Bool) -> Lit -> IO Bool thCheck :: (Lit -> IO Bool) -> IO Bool thExplain :: Maybe Lit -> IO [Lit] thPushBacktrackPoint :: IO () thPopBacktrackPoint :: IO () thConstructModel :: IO ()

emptyTheory :: TheorySolver Source #