Bug#845587: ITP: ocplib-simplex -- simplex library for solving linear inequalities

[Ralf Treinen <treinen@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Ralf Treinen <treinen@debian.org>

* Package name    : ocplib-simplex
  Version         : 0.3
  Upstream Author : Mohamed Iguernlala <mohamed.iguernlala@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.