Summary
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
Versions
v0.4 :: 0 :: gentoo
- Modified
- License
- LGPL-2.1-with-linking-exception
- Keywords
- amd64
v0.3 :: 0 :: gentoo
- Modified
- License
- LGPL-2.1-with-linking-exception
- Keywords
- amd64
Dependencies
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
Depending packages
sci-mathematics / alt-ergo : Automatic theorem prover
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/ocplib-simplex: respect LDFLAGS and remove warning
Closes: https://bugs.gentoo.org/728040 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ml/ocplib-simplex: Stable version
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ml/ocplib-simplex: Fix SRC_URI
Closes: https://bugs.gentoo.org/690710 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11 - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ml/ocplib-simplex: version bump to 0.4
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11 - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
dev-ml/ocplib-simplex: Stabilizing
Package-Manager: Portage-2.3.40, Repoman-2.3.9 - 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