blob: 9ef26e963c531bc50b13a92a011c73e815d1387d (
plain) (
blame)
1
2
3
4
|
The Ocplib-simplex OCaml library imlements a simplex algorithm for
solving systems of linear inequalities and optimizing linear objective
functions. Linear optimization and unsat-cores extraction are also
supported. The implementation is iterative and backtrackable.
|
