Paquet : ocplib-simplex-ocaml-dev (0.4-2 et autres)

[ Paquet source : ocplib-simplex  ]

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.

Autres paquets associés à ocplib-simplex-ocaml-dev

• dep: ocaml-base-nox-4.11.1

  paquet virtuel fourni par ocaml-base-nox

Télécharger ocplib-simplex-ocaml-dev

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
i386	0.4-2+b1	259,2 ko	2 966,0 ko	[liste des fichiers]