satchmo-2.6.0: SAT encoding monad

Safe Haskell	None
Language	Haskell98

Satchmo.SMT.Exotic.Arctic

Documentation

data Arctic Source

Constructors

Arctic
Fields contents :: Number

Instances

Decode m Boolean Bool => Decode m Arctic (Arctic Integer)

minus_infinite :: Arctic -> Boolean Source

make :: Monad m => Number -> m Arctic Source

dict :: Int -> Dict SAT Arctic Boolean Source