This module provides a variant of `ghc-typelits-presburger`, which can be also solve symbols added in this package, such as Min, Max, <, >, and >=.