./wip/ocaml-ocplib-simplex, Ocplib-simplex library implements a simplex algorithm

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 0.5.1, Package name: ocaml-ocplib-simplex-0.5.1, Maintainer: pkgsrc-users

Ocplib-simplex a is library implementing a simplex algorithm, in a functional
style, for solving systems of linear inequalities and optimizing linear
objective functions. It is able to extract unsat-cores for unsatisfiable
problems. Versions > 0.1 also support linear optimization.


Master sites:

Filesize: 33.406 KB

Version history: (Expand)