Paket: ocplib-simplex-ocaml-dev (0.5-4 ve diğerleri)

[ Kaynak: ocplib-simplex  ]

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

• dep: liblogs-ocaml-0yoh6 [amd64]

  sanal paketi sağlayan liblogs-ocaml

• dep: liblogs-ocaml-hzth6 [arm64]

  sanal paketi sağlayan liblogs-ocaml

• dep: liblogs-ocaml-k7al8 [riscv64]

  sanal paketi sağlayan liblogs-ocaml

• dep: liblogs-ocaml-oo433 [alpha, armel, hppa, ia64, m68k, mips64el, sh4, sparc64]

  sanal paketi sağlayan liblogs-ocaml

• dep: liblogs-ocaml-t38x7 [armhf]

  sanal paketi sağlayan liblogs-ocaml

• dep: liblogs-ocaml-ua2v9 [i386]

  sanal paketi sağlayan liblogs-ocaml

• dep: liblogs-ocaml-wks34 [ppc64el]

  sanal paketi sağlayan liblogs-ocaml

• dep: liblogs-ocaml-z5ay3 [s390x]

  sanal paketi sağlayan liblogs-ocaml

• dep: libstdlib-ocaml-058x2 [ppc64el]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-dkl58 [i386]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-ep7y0 [amd64]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-fyga0 [arm64]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-rayz1 [armhf]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-rg5q2 [alpha, armel, hppa, ia64, m68k, mips64el, sh4, sparc64]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-vjut8 [riscv64]

  sanal paketi sağlayan libstdlib-ocaml

• dep: libstdlib-ocaml-vneg5 [s390x]

  sanal paketi sağlayan libstdlib-ocaml

• dep: ocaml-base-4.13.1 [ppc64, x32]

  sanal paketi sağlayan ocaml-base

• sug: ocaml-findlib

  management tool for OCaml libraries

ocplib-simplex-ocaml-dev indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
alpha (resmi olmayan port)	0.5-4+b3	549,1 kB	2.981,0 kB	[dosya listesi]
amd64	0.5-4+b3	628,7 kB	3.568,0 kB	[dosya listesi]
arm64	0.5-4+b3	633,3 kB	3.629,0 kB	[dosya listesi]
armel	0.5-4+b3	549,5 kB	2.981,0 kB	[dosya listesi]
armhf	0.5-4+b3	628,6 kB	3.411,0 kB	[dosya listesi]
hppa (resmi olmayan port)	0.5-4+b3	549,2 kB	2.981,0 kB	[dosya listesi]
i386	0.5-4+b3	623,8 kB	3.435,0 kB	[dosya listesi]
ia64 (resmi olmayan port)	0.5-4+b3	549,5 kB	2.981,0 kB	[dosya listesi]
m68k (resmi olmayan port)	0.5-4+b3	549,5 kB	2.981,0 kB	[dosya listesi]
mips64el	0.5-4+b3	549,1 kB	2.981,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	0.4-2+b2	272,7 kB	3.266,0 kB	[dosya listesi]
ppc64el	0.5-4+b3	636,3 kB	3.662,0 kB	[dosya listesi]
riscv64	0.5-4+b3	662,3 kB	4.030,0 kB	[dosya listesi]
s390x	0.5-4+b3	624,2 kB	3.561,0 kB	[dosya listesi]
sh4 (resmi olmayan port)	0.5-4+b3	548,4 kB	2.981,0 kB	[dosya listesi]
sparc64 (resmi olmayan port)	0.5-4+b3	549,3 kB	2.981,0 kB	[dosya listesi]
x32 (resmi olmayan port)	0.4-2+b2	177,1 kB	2.179,0 kB	[dosya listesi]