BSD Portsmath/ocaml-ocplib-simplex 0.5.1nb3 NetBSD
Ocplib-simplex library implements a simplex algorithm
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- License
- gnu-lgpl-v2
- Categories
- math
- Package size
- 690.4 KiB, 3625.9 KiB installed
Description
Ocplib-simplex a is library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions. It is able to extract unsat-cores for unsatisfiable problems. Versions > 0.1 also support linear optimization.
In the other systems
| System | Port | Version |
|---|---|---|
| NetBSD | math/ocaml-ocplib-simplex | 0.5.1nb3 |
| FreeBSD | math/ocaml-ocplib-simplex | 0.5.1_1 |
| DragonFly | math/ocaml-ocplib-simplex | 0.5.1_1 |
| GhostBSD | math/ocaml-ocplib-simplex | 0.5.1_1 |
Install
Binary package:
pkgin install ocaml-ocplib-simplexFrom pkgsrc:
cd /usr/pkgsrc/math/ocaml-ocplib-simplex && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 0.5.1nb3 |
| NetBSD 10.1 aarch64 | 0.5.1nb3 |
| SmartOS / illumos x86_64 | - |
| macOS 15 arm64 | - |
Dependencies
Run dependencies 3
No port depends on this one.