(!!! = may break code that uses previous versions)

version 0.5, November 15, 2022
===============================

* Reworking the library build system, now only relying on dune.
  The Makefile is now clearer and simpler to use.

* (!!!) Logs are handled by the `logs` library and debug is activated by this
  library.

* (!!!) The `Rat2` module now abstract bounds as strict upper, strict lower or
  soft bounds instead of pairs of rationals.

version 0.4, August 22, 2017
===============================

* (!!!) Now, asserting bounds returns whether these bounds are
  trivially implied by those that are already known

* add a field nb_pivots in the environment to count the number of
  pivots that have been made so far.

verion 0.3, November 09, 2016
===============================

* bugfix in maximization


verion 0.2, August 24, 2016
===============================

* add support for linear optimization (!!!). An minimal example is given
  in tests/standalone_minimal_maximization.ml

* some bugfixes when assuming inconsistent bounds

* improve build and testing



first public 0.1, July 11, 2016
===============================

* A functor called `Basic` provides three modules:

  - `Core`: provides some basic functions, and a function `empty` to
    create an empty environment

  - `Assert`: exports two functions `var` and `polys` to assert bounds
    on variables and polynomials, respectively

  - `Solve`: exports a function `solve` that tries to find a solution for
    the constrains

* two flags can be set when creating an empty environment to activate
  debug mode and some invariants verification

* implementation is fully functional, incremental and backtrackable

* linear optimization is not supported yet
