Package: wnpp Severity: wishlist Owner: Ralf Treinen <trei...@debian.org>
* Package name : ocplib-simplex Version : 0.3 Upstream Author : Mohamed Iguernlala <mohamed.iguernl...@ocamlpro.com> * URL : https://github.com/OCamlPro-Iguernlala/ocplib-simplex * License : LGPL 2.1 Programming Lang: OCaml Description : 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 it supports linear optimization This is a build-dependency of alt-ergo >= 1.30. The package will be maintained by the debian-ocaml-maint team. -Ralf.
