[ 原始碼: ocplib-simplex ]
套件: ocplib-simplex-ocaml-dev (0.4-2build3)
ocplib-simplex-ocaml-dev 的相關超連結
Trisquel 的資源:
下載原始碼套件 ocplib-simplex:
- [ocplib-simplex_0.4-2build3.dsc]
- [ocplib-simplex_0.4.orig.tar.gz]
- [ocplib-simplex_0.4-2build3.debian.tar.xz]
維護者:
Original Maintainers:
- Debian OCaml Maintainers (郵件存檔)
- Ralf Treinen
外部的資源:
- 主頁 [github.com]
相似套件:
simplex library for solving linear inequalities
ocplib-simplex is a (fully) functional OCaml implementation of the simplex algorithm for solving systems of linear inequalities. The implementation is incremental and backtrackable. It is able to extract unsat-cores for unsatisfiable problems, and supports linear optimization.