Paket: ocplib-simplex-ocaml-dev (0.4-1)

Links für ocplib-simplex-ocaml-dev

Debian-Ressourcen:

Quellcode-Paket ocplib-simplex herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [github.com]

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

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libc6 (>= 2.1.3)

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: ocaml-base-nox-4.05.0

virtuelles Paket, bereitgestellt durch ocaml-base-nox

ocplib-simplex-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur	Paketgröße	Größe (installiert)	Dateien
i386	241,8 kB	2.422,0 kB	[Liste der Dateien]