Package: ocplib-simplex-ocaml-dev
Source: ocplib-simplex
Version: 0.5.1-6build1
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 3985
Depends: liblogs-ocaml-70qb6, libstdlib-ocaml-1ltp0
Suggests: ocaml-findlib
Section: ocaml
Priority: optional
Homepage: https://github.com/OCamlPro-Iguernlala/ocplib-simplex
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 supports linear
 optimization.
