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

Länkar för ocplib-simplex-ocaml-dev

Debianresurser:

Hämta källkodspaketet ocplib-simplex:

Ansvariga:

Externa resurser:

Hemsida [github.com]

Liknande paket:

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.

Andra paket besläktade med ocplib-simplex-ocaml-dev

beror

rekommenderar

föreslår

enhances

dep: libc6 (>= 2.4)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: ocaml-base-nox-4.05.0

virtuellt paket som tillhandahålls av ocaml-base-nox

Hämta ocplib-simplex-ocaml-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
armhf	253,1 kbyte	2.384,0 kbyte	[filförteckning]