ocaml-ocplib-simplex
0.5.1_1Alt-Ergo simplex solver library for Objective Caml
The Ocplib-simplex OCaml library imlements a simplex algorithm for solving systems of linear inequalities and optimizing linear objective functions. Linear optimization and unsat-cores extraction are also supported. The implementation is iterative and backtrackable.
Origin: math/ocaml-ocplib-simplex
Category: math
Size: 3.62MiB
License: LGPL21+
Maintainer: freebsd@dev.thsi.be
Dependencies: 2 packages
Required by: 1 packages
Website: ocamlpro.github.io/ocplib-simplex
$
pkg install ocaml-ocplib-simplexDependencies (2)
Required By (1 packages)
More in math
py311-numpy1.26.4_11,1
The New Numeric Extension to PythonR4.5.2
Language for statistical computing and graphicsgmp6.3.0
Free library for arbitrary precision arithmeticopenblas0.3.30,2
Optimized BLAS library based on GotoBLAS2fftw33.3.10_5
Fast C routines to compute the Discrete Fourier Transformpy311-matplotlib3.8.0_2
Plotting library uses a syntax familiar to MATLAB userspy311-pandas2.3.3,1
Flexible, high-performance data analysis in Pythonmpfr4.2.2,1
Library for multiple-precision floating-point computationsoctave10.3.0_2
High-level interactive language for numerical computationsoctave-forge-base1.9_1
Octave-forge baseport for all packages