Binary package “ocplib-simplex-ocaml-dev” in ubuntu oracular
simplex library for solving linear inequalities
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, and supports linear
optimization.
Source package
Published versions
- ocplib-simplex-ocaml-dev 0.5-4build5 in amd64 (Release)
- ocplib-simplex-ocaml-dev 0.5-4build5 in arm64 (Release)
- ocplib-simplex-ocaml-dev 0.5-4build5 in armhf (Release)
- ocplib-simplex-ocaml-dev 0.5-4build5 in ppc64el (Release)
- ocplib-simplex-ocaml-dev 0.5-4build5 in riscv64 (Release)
- ocplib-simplex-ocaml-dev 0.5-4build5 in s390x (Release)