qlogic-0.9: A Haskell Library for Propositional Logic.

Safe HaskellSafe-Infered

Qlogic.MiniSat

Documentation

type MiniSatSolver = StateT St IO

data St

Constructors

St 

Fields

lastLit :: MiniSatLiteral
 
clauseCount :: Int
 
addedFormula :: String
 
assign :: IntSet
 
cmd :: String
 
debug :: Bool
 

Instances

emptySt :: St

type MiniSatLiteral = Int

type MiniSat r = SatSolver MiniSatSolver MiniSatLiteral r

setCmd :: String -> MiniSat ()

setDebug :: MiniSat ()

unsetDebug :: MiniSat ()