Satchmo.Simple

Documentation

data Accu

Constructors

Accu

Fields

next :: !Int

pool :: [Clause]

newtype SAT a

Constructors

SAT

Fields

unsat :: State Accu a

Instances

Monad SAT

Functor SAT

MonadSAT SAT