tüm seçenekler
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: ocplib-simplex  ]

Paket: ocplib-simplex-ocaml-dev (0.4-2 ve diğerleri)

ocplib-simplex-ocaml-dev için bağlantılar

Screenshot

Debian Kaynakları:

ocplib-simplex Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

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 ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

ocplib-simplex-ocaml-dev indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
i386 0.4-2+b2 259,4 kB2.885,0 kB [dosya listesi]