wszystkie opcje
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: ocplib-simplex  ]

Pakiet: ocplib-simplex-ocaml-dev (0.5-4 i inne)

Odnośniki dla ocplib-simplex-ocaml-dev

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego ocplib-simplex:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z ocplib-simplex-ocaml-dev

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie ocplib-simplex-ocaml-dev

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 0.5-4+b3 628,7 KiB3 568,0 KiB [lista plików]
arm64 0.5-4+b3 633,3 KiB3 629,0 KiB [lista plików]
armel 0.5-4+b3 549,5 KiB2 981,0 KiB [lista plików]
armhf 0.5-4+b3 628,6 KiB3 411,0 KiB [lista plików]
i386 0.5-4+b3 623,8 KiB3 435,0 KiB [lista plików]
mips64el 0.5-4+b3 549,1 KiB2 981,0 KiB [lista plików]
ppc64el 0.5-4+b3 636,3 KiB3 662,0 KiB [lista plików]
s390x 0.5-4+b3 624,2 KiB3 561,0 KiB [lista plików]