# 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.