package ocplib-simplex
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
Install
Dune Dependency
Authors
Maintainers
Sources
v0.4.1.tar.gz
md5=6b394721cace379ee728e5a658183e23
sha512=6436a904f4e0ec4efa13592185764b58142296816855562d9c2c6d360b64ab554bbd95314976e0462fbb2ed145f8915fd9c2f63f7bae66063efb4c51f74f3edb
Description
This library 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.
Published: 26 Apr 2023
Dependencies (4)
- num
-
conf-autoconf
build -
ocamlfind
build -
ocaml
>= "4.01.0"
Dev Dependencies
None
Used by (6)
-
alt-ergo
>= "2.0.0" & < "2.3.0" -
alt-ergo-free
< "2.3.3" -
alt-ergo-lib
< "2.5.0" - alt-ergo-lib-free
-
colibri2
< "0.4" -
osdp
= "0.6.0"
Conflicts
None
On This Page