satchmo-2.6.0: SAT encoding monad

Safe Haskell	None
Language	Haskell98

Satchmo.SMT.Exotic.Tropical

Description

fixed bit width tropical numbers, table lookup for ring multiplication

Documentation

data Tropical Source

Constructors

Tropical
Fields contents :: Number

Instances

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

plus_infinite :: Tropical -> Boolean Source

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

dict :: Int -> Dict SAT Tropical Boolean Source

for :: [a] -> (a -> b) -> [b] Source