Skip to content

Latest commit

 

History

History
61 lines (37 loc) · 1.7 KB

CHANGES.md

File metadata and controls

61 lines (37 loc) · 1.7 KB

(!!! = 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