ersatz-0.1.0.2: A monad for expressing SAT or QSAT problems using observable sharing.

Portabilitynon-portable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellNone

Ersatz.Solution

Description

 

Documentation

data Solution Source

Constructors

Solution 

Fields

solutionLiteral :: Literal -> Maybe Bool
 
solutionStableName :: StableName () -> Maybe Bool
 

Instances

solutionFrom :: IntMap Bool -> Problem -> SolutionSource

data Result Source

Constructors

Unsolved 
Unsatisfied 
Satisfied 

Instances

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