satchmo-2.9.9.3: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.SAT.External

Description

call an external solver as separate process, communicate via pipes.

Documentation

data SAT a Source

Instances

fresh, fresh_forall :: MonadSAT m => m Literal Source

emit :: MonadSAT m => Clause -> m () Source

solve Source

Arguments

:: String

command, e.g., glucose

-> [String]

options, e.g., -model

-> SAT (Dec a)

action that builds the formula and returns the decoder

-> IO (Maybe a)