[ Quellcode: ocplib-simplex ]
Paket: ocplib-simplex-ocaml-dev (0.5.1-4 und andere)
Links für ocplib-simplex-ocaml-dev
Debian-Ressourcen:
Quellcode-Paket ocplib-simplex herunterladen:
- [ocplib-simplex_0.5.1-4.dsc]
- [ocplib-simplex_0.5.1.orig.tar.gz]
- [ocplib-simplex_0.5.1-4.debian.tar.xz]
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu ocplib-simplex-ocaml-dev
|
|
|
|
-
- dep: liblogs-ocaml-017n6 [s390x]
- virtuelles Paket, bereitgestellt durch liblogs-ocaml
-
- dep: liblogs-ocaml-cmj73 [riscv64]
- virtuelles Paket, bereitgestellt durch liblogs-ocaml
-
- dep: liblogs-ocaml-hkno3 [arm64]
- virtuelles Paket, bereitgestellt durch liblogs-ocaml
-
- dep: liblogs-ocaml-mmp31 [ppc64el]
- virtuelles Paket, bereitgestellt durch liblogs-ocaml
-
- dep: liblogs-ocaml-t5js2 [amd64]
- virtuelles Paket, bereitgestellt durch liblogs-ocaml
-
- dep: liblogs-ocaml-t9z61 [armel, armhf, i386, mips64el]
- virtuelles Paket, bereitgestellt durch liblogs-ocaml
-
- dep: libstdlib-ocaml-bdrm4 [armel, armhf, i386, mips64el]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml
-
- dep: libstdlib-ocaml-fxjy5 [amd64, arm64, ppc64el, riscv64]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml
-
- dep: libstdlib-ocaml-ke4j9 [s390x]
- virtuelles Paket, bereitgestellt durch libstdlib-ocaml
-
- sug: ocaml-findlib
- Verwaltungswerkzeug für OCaml-Bibliotheken
ocplib-simplex-ocaml-dev herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| amd64 | 0.5.1-4+b3 | 1.087,0 kB | 1.913,0 kB | [Liste der Dateien] |
| arm64 | 0.5.1-4+b3 | 1.086,9 kB | 1.974,0 kB | [Liste der Dateien] |
| armel | 0.5.1-4+b3 | 992,4 kB | 1.230,0 kB | [Liste der Dateien] |
| armhf | 0.5.1-4+b3 | 992,5 kB | 1.230,0 kB | [Liste der Dateien] |
| i386 | 0.5.1-4+b3 | 992,6 kB | 1.230,0 kB | [Liste der Dateien] |
| mips64el | 0.5.1-4+b3 | 992,7 kB | 1.230,0 kB | [Liste der Dateien] |
| ppc64el | 0.5.1-4+b3 | 1.093,0 kB | 2.057,0 kB | [Liste der Dateien] |
| riscv64 | 0.5.1-4+b3 | 1.126,3 kB | 2.488,0 kB | [Liste der Dateien] |
| s390x | 0.5.1-4+b3 | 1.083,9 kB | 1.939,0 kB | [Liste der Dateien] |