BSD Portsmath/ocaml-ocplib-simplex 0.5.1_1 DragonFly
Alt-Ergo simplex solver library for Objective Caml
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- LGPL21+
- Categories
- math
- Package size
- 704.7 KiB, 3716.2 KiB installed
Description
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.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/ocaml-ocplib-simplex | 0.5.1_1 |
| FreeBSD | math/ocaml-ocplib-simplex | 0.5.1_1 |
| NetBSD | math/ocaml-ocplib-simplex | 0.5.1nb3 |
| GhostBSD | math/ocaml-ocplib-simplex | 0.5.1_1 |
Install
Binary package:
pkg install ocaml-ocplib-simplexFrom DPorts:
cd /usr/dports/math/ocaml-ocplib-simplex && make install clean