satchmo-2.6.0: SAT encoding monad

Safe Haskell	None
Language	Haskell98

Satchmo.SMT.Exotic.Fuzzy

Documentation

data Fuzzy Source

Constructors

Fuzzy
Fields contents :: Number

Instances

(Decode m Boolean Bool, Decode m Number Integer) => Decode m Fuzzy (Fuzzy Integer)

minus_infinite :: Fuzzy -> Boolean Source

plus_infinite :: Fuzzy -> Boolean Source

make :: Number -> SAT Fuzzy Source

dict :: Int -> Dict SAT Fuzzy Boolean Source