Safe Haskell | None |
---|---|
Language | Haskell98 |
Satchmo.SMT.Exotic.Arctic.Integer
Documentation
(contents a !! shift a) == (number is > 0) (contents a !! 0) == (number is > -infty) (so Arctic Natural has shift = 1)
minus_infinite :: Arctic -> Boolean Source
satchmo-2.6.0: SAT encoding monad
Safe Haskell | None |
---|---|
Language | Haskell98 |
Satchmo.SMT.Exotic.Arctic.Integer
(contents a !! shift a) == (number is > 0) (contents a !! 0) == (number is > -infty) (so Arctic Natural has shift = 1)
minus_infinite :: Arctic -> Boolean Source