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 HaskellSafe-Inferred

Ersatz.Internal.Literal

Description

 

Synopsis

Documentation

newtype Literal Source

A naked possibly-negated Atom, present in the target Solver.

Constructors

Literal 

Fields

literalId :: Int
 

data Lit Source

Literals with partial evaluation

Constructors

Lit !Literal 
Bool !Bool 

lit :: Bool -> LitSource

Lift a Bool to a Lit