Paket: ocplib-simplex-ocaml-dev (0.4-1)

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

Debian Kaynakları:

ocplib-simplex Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Ana Sayfa [github.com]

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

dep: libc6 (>= 2.1.3)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
dep: ocaml-base-nox-4.05.0

sanal paketi sağlayan ocaml-base-nox

ocplib-simplex-ocaml-dev indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
i386	241,8 kB	2.422,0 kB	[dosya listesi]