| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Type.Natural.Presburger.MinMaxSolver
Description
This module provides a variant of `ghc-typelits-presburger`,
which can be also solve symbols added in this package, such as
Min, Max, <, >, and >=.