Skip to content
Sections
>> Trisquel >> パッケージ >> aramo >> ocaml >> ocplib-simplex-ocaml-dev
etiona  ] [  nabia  ] [  aramo  ]
[ ソース: ocplib-simplex  ]

パッケージ: ocplib-simplex-ocaml-dev (0.4-2build3)

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.

その他の ocplib-simplex-ocaml-dev 関連パッケージ

  • 依存
  • 推奨
  • 提案

ocplib-simplex-ocaml-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
amd64 324.5 kB3072 kB [ファイル一覧]
arm64 335.4 kB3128 kB [ファイル一覧]
armhf 331.4 kB2832 kB [ファイル一覧]
ppc64el 335.6 kB3194 kB [ファイル一覧]