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.1-2build4 in amd64 (Proposed)
- ocplib-simplex-ocaml-dev 0.5.1-2build4 in amd64 (Release)
- ocplib-simplex-ocaml-dev 0.5-4build5 in arm64 (Release)
- ocplib-simplex-ocaml-dev 0.5.1-2build4 in arm64 (Proposed)
- ocplib-simplex-ocaml-dev 0.5.1-2build4 in arm64 (Release)
- ocplib-simplex-ocaml-dev 0.5-4build5 in armhf (Release)
- ocplib-simplex-ocaml-dev 0.5.1-2build4 in armhf (Proposed)
- ocplib-simplex-ocaml-dev 0.5.1-2build4 in armhf (Release)
- ocplib-simplex-ocaml-dev 0.5-4build5 in ppc64el (Release)
- ocplib-simplex-ocaml-dev 0.5.1-2build4 in ppc64el (Proposed)
- ocplib-simplex-ocaml-dev 0.5.1-2build4 in ppc64el (Release)
- ocplib-simplex-ocaml-dev 0.5-4build5 in riscv64 (Release)
- ocplib-simplex-ocaml-dev 0.5.1-2build4 in riscv64 (Proposed)
- ocplib-simplex-ocaml-dev 0.5.1-2build4 in riscv64 (Release)
- ocplib-simplex-ocaml-dev 0.5-4build5 in s390x (Release)
- ocplib-simplex-ocaml-dev 0.5.1-2build4 in s390x (Proposed)
- ocplib-simplex-ocaml-dev 0.5.1-2build4 in s390x (Release)