Pakket: ocplib-simplex-ocaml-dev (0.5-4 en anderen) [debports]

Verwijzigingen voor ocplib-simplex-ocaml-dev

Debian bronnen:

Probleemrapporten

Het bronpakket downloaden:

Niet gevonden

Beheerders:

Externe bronnen:

Homepage [github.com]

Vergelijkbare pakketten:

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 aan ocplib-simplex-ocaml-dev gerelateerde pakketten

depends

recommends

suggests

enhances

dep: liblogs-ocaml-oo433

virtueel pakket geboden door liblogs-ocaml
dep: libstdlib-ocaml-rg5q2

virtueel pakket geboden door libstdlib-ocaml

sug: ocaml-findlib

management tool for OCaml libraries

ocplib-simplex-ocaml-dev downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
m68k (unofficial port)	0.5-4+b3	549,5 kB	2.981,0 kB	[overzicht]