LogoopenSUSE Build Service > Projects
Sign Up | Log In

ocplib-simplex

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

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.

Source Files

Filename Size Changed Actions
ocaml-ocplib-simplex.changes 154 Bytes about 1 year ago Download File
ocaml-ocplib-simplex.spec 2.49 KB about 1 year ago Download File
ocplib-simplex-0.3.tar.gz 30.3 KB about 1 year ago Download File

Comments for home:ptrommler:formal (0)

Login required, please login or signup in order to comment