# Changelog
## 0.7.3.0
* Supports GHC 9.8
* Drops support for GHC <9
## 0.7.2.0
* Supports GHC 9.6
* More robust `equational-reasoning` package detection logic.
## 0.7.1.0
* Proper Support of GHC 9.4 (Now can solve `Assert` properly)
## 0.7.0.0
* Support GHC 9.4
* The plugin can solve constraints involving type-level `Assert`, `Not`, `(&&)`, `(||)`, and/or `If` from new base.
## 0.6.2.0
* Support GHC 9.2.1
* Decoding in Min/Max expression in terms of OrdCond
## 0.6.0.0
* Stop discharging redundant constraints
* Support GHC 9.0.1
* Drop a support for GHC <8.6
## 0.4.0.0
* Fixes constraint solving (fixes #9); this may change the previous (unsound) behaviour, and hence it is breaking change.
## 0.3.0.1
* Supports GHC >= 8.10.
## 0.3.0.0
* Drops support for GHC < 8.4
* Entire overhaul.
* Adds `negated-numbers` option.
* Allows terms which includes uninterpreted terms (still much incomplete).
* Separates `singletons` support as `singletons-presburger` package.
* Provides an interface for extending solver with additional syntax constructs.
See `GHC.TypeLits.Presburger.Types` module for more detail.