Portability | portable |
---|---|

Stability | provisional |

Maintainer | masahiro.sakai@gmail.com |

Safe Haskell | None |

(incomplete) implementation of Omega Test

References:

- William Pugh. The Omega test: a fast and practical integer programming algorithm for dependence analysis. In Proceedings of the 1991 ACM/IEEE conference on Supercomputing (1991), pp. 4-13.
- http://users.cecs.anu.edu.au/~michaeln/pubs/arithmetic-dps.pdf

See also:

- type Model r = VarMap r
- solve :: Options -> VarSet -> [Atom Rational] -> Maybe (Model Integer)
- solveQFLA :: Options -> VarSet -> [Atom Rational] -> VarSet -> Maybe (Model Rational)
- data Options = Options {
- optCheckReal :: VarSet -> [Atom Rational] -> Bool

- defaultOptions :: Options
- checkRealNoCheck :: VarSet -> [Atom Rational] -> Bool
- checkRealByFM :: VarSet -> [Atom Rational] -> Bool