ocplib-simplex-ocaml-dev binary package in Ubuntu Noble arm64
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2024-02-24 00:23:55 UTC | Published | Ubuntu Noble arm64 | release | universe | ocaml | Extra | 0.5-4build5 | ||
|
|||||||||
Deleted | Ubuntu Noble arm64 | proposed | universe | ocaml | Extra | 0.5-4build5 | |||
|
|||||||||
2024-02-19 19:33:09 UTC | Superseded | Ubuntu Noble arm64 | proposed | universe | ocaml | Extra | 0.5-4build4 | ||
|
|||||||||
2024-02-19 08:47:28 UTC | Superseded | Ubuntu Noble arm64 | proposed | universe | ocaml | Extra | 0.5-4build3 | ||
|
|||||||||
2024-02-24 00:25:36 UTC | Superseded | Ubuntu Noble arm64 | release | universe | ocaml | Extra | 0.5-4build2 | ||
|
|||||||||
2024-02-25 00:10:14 UTC | Deleted | Ubuntu Noble arm64 | proposed | universe | ocaml | Extra | 0.5-4build2 | ||
|
|||||||||
2023-12-15 13:33:37 UTC | Superseded | Ubuntu Noble arm64 | release | universe | ocaml | Extra | 0.5-4build1 | ||
|
|||||||||
2024-01-13 06:10:15 UTC | Deleted | Ubuntu Noble arm64 | proposed | universe | ocaml | Extra | 0.5-4build1 | ||
|
|||||||||
2023-11-25 08:38:20 UTC | Superseded | Ubuntu Noble arm64 | release | universe | ocaml | Extra | 0.5-4 | ||
|