satchmo-2.6.0: SAT encoding monad
Satchmo.SMT.Exotic.Arctic
data Arctic Source
Constructors
Fields
Instances
minus_infinite :: Arctic -> Boolean Source
make :: Monad m => Number -> m Arctic Source
dict :: Int -> Dict SAT Arctic Boolean Source