ocplib-simplex-ocaml-dev 0.4-1 (ppc64el binary) in ubuntu bionic
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.
Details
- Package version:
- 0.4-1
- Status:
- Published
- Component:
- universe
- Priority:
- Extra
Downloadable files
ppc64el build of ocplib-simplex 0.4-1 in ubuntu bionic PROPOSED produced
these files:
- ocplib-simplex-ocaml-dev_0.4-1_ppc64el.deb (256.8 KiB)
Package relationships
- Depends on:
- libc6 (>= 2.17)
- ocaml-base-nox-4.05.0
