dev-ml / ocplib-simplex

A library implementing a simplex algorithm

Official package sites : https://github.com/OCamlPro-Iguernlala/ocplib-simplex ·

A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities

v0.3 :: 0 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception
Keywords
~amd64

app-portage / elt-patches : Collection of patches for libtool.eclass

dev-ml / findlib : OCaml tool to find/use non-standard packages

sys-devel / autoconf : Used to create autoconfiguration files

sys-devel / automake : Used to generate Makefile.in from Makefile.am

sys-devel / libtool : A shared library tool for developers

sci-mathematics / alt-ergo : Automatic theorem prover

Tupone Alfredo · gentoo
dev-ml/ocplib-simplex: configure.ac depends fix. Bug #634344
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Tupone Alfredo · gentoo
dev-ml/ocplib-simplex: Add dev-ml/ocplib-simplex-0.3
Package-Manager: Portage-2.3.8, Repoman-2.3.3