./math/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: dkazankov

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)

CVS history: (Expand)


   2025-06-05 16:42:22 by Dmytro Kazankov | Files touched by this commit (5) 
Log message:
math/ocaml-ocplib-simplex: add new package version 0.5.1

Ocaml Ocplib-simplex library implements a simplex algorithm