Safe Haskell | None |
---|---|
Language | Haskell98 |
Satchmo.SAT.Mini
Documentation
fresh, fresh_forall :: MonadSAT m => m Literal Source
newtype SolveOptions Source
Constructors
SolveOptions | |
Fields |
satchmo-2.9.9.3: SAT encoding monad
Safe Haskell | None |
---|---|
Language | Haskell98 |
Satchmo.SAT.Mini
fresh, fresh_forall :: MonadSAT m => m Literal Source
newtype SolveOptions Source
Constructors
SolveOptions | |
Fields |