ocplib-simplex

A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions
Description

ocplib-simplex is a (fully) functional OCaml implementation of the simplex algorithm for solving systems of linear inequalities. The implementation is incremental and backtrackable. It is able to extract unsat-cores for unsatisfiable problems. Versions > 0.1 also support linear optimization.

Install
Published
23 Aug 2017
Sources
v0.4.tar.gz
md5=fbde2d7194acc0cda9f1b4511f4baa27
Dependencies
Reverse Dependencies