[ANN] ocplib-simplex v0.5 released

With a bit of delay, we are happy to announce that a new version of ocplib-simplex, v0.5, was released on last November.

ocplib-simplex implements the Simplex Algorithm, and is used for example in the Alt-Ergo SMT solver.

This new version aims at making the interface more generic, so that it can easily be used in other projects.

For more information, see our post on OCamlPro’s blog