Ersatz.Solution

Documentation

data Solution

Constructors

Solution

Fields

solutionLiteral :: Literal -> Maybe Bool

solutionStableName :: StableName () -> Maybe Bool

Instances

Typeable * Solution

solutionFrom :: HasSAT s => IntMap Bool -> s -> Solution

data Result

Constructors

Unsolved

Unsatisfied

Satisfied

Instances

Bounded Result

Enum Result

Eq Result

Ord Result

Read Result

Show Result

Ix Result

type Solver s m = s -> m (Result, IntMap Bool)