ocplib-simplex-ocaml-dev 0.5.1-2 (s390x binary) in ubuntu oracular
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.5.1-2
- Status:
- Superseded
- Component:
- universe
- Priority:
- Extra
Downloadable files
s390x build of ocplib-simplex 0.5.1-2 in ubuntu oracular PROPOSED produced
these files:
- ocplib-simplex-ocaml-dev_0.5.1-2_s390x.deb (835.8 KiB)