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

Copyright© Edward Kmett 2010-2014, Johan Kiviniemi 2013
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellTrustworthy
LanguageHaskell2010

Ersatz.Solution

Description

 

Documentation

data Solution Source

Constructors

Solution 

Fields

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

Instances

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

data Result Source

Constructors

Unsolved 
Unsatisfied 
Satisfied 

Instances

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