Pakiet: ocplib-simplex-ocaml-dev (0.5-4 i inne) [debports]
Odnośniki dla ocplib-simplex-ocaml-dev
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Podobne pakiety:
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.
Inne pakiety związane z ocplib-simplex-ocaml-dev
|
|
|
|
-
- dep: liblogs-ocaml-oo433
- pakiet wirtualny udostępniany przez liblogs-ocaml
-
- dep: libstdlib-ocaml-rg5q2
- pakiet wirtualny udostępniany przez libstdlib-ocaml
-
- sug: ocaml-findlib
- Narzędzie zarządzające bibliotekami OCaml
Pobieranie ocplib-simplex-ocaml-dev
Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|---|
alpha (port nieoficjalny) | 0.5-4+b3 | 549,1 KiB | 2 981,0 KiB | [lista plików] |