Пакет: ocplib-simplex-ocaml-dev (0.5.1-4 и другие)

[ Источник: 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

• dep: liblogs-ocaml-017n6 [s390x]

  виртуальный пакет, предоставляемый liblogs-ocaml

• dep: liblogs-ocaml-cmj73 [riscv64]

  виртуальный пакет, предоставляемый liblogs-ocaml

• dep: liblogs-ocaml-hkno3 [arm64]

  виртуальный пакет, предоставляемый liblogs-ocaml

• dep: liblogs-ocaml-mmp31 [ppc64el]

  виртуальный пакет, предоставляемый liblogs-ocaml

• dep: liblogs-ocaml-t5js2 [amd64]

  виртуальный пакет, предоставляемый liblogs-ocaml

• dep: liblogs-ocaml-t9z61 [armel, armhf, i386, mips64el]

  виртуальный пакет, предоставляемый liblogs-ocaml

• dep: libstdlib-ocaml-bdrm4 [armel, armhf, i386, mips64el]

  виртуальный пакет, предоставляемый libstdlib-ocaml

• dep: libstdlib-ocaml-fxjy5 [amd64, arm64, ppc64el, riscv64]

  виртуальный пакет, предоставляемый libstdlib-ocaml

• dep: libstdlib-ocaml-ke4j9 [s390x]

  виртуальный пакет, предоставляемый libstdlib-ocaml

• sug: ocaml-findlib

  management tool for OCaml libraries

Загрузка ocplib-simplex-ocaml-dev

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	0.5.1-4+b3	1 087,0 Кб	1 913,0 Кб	[список файлов]
arm64	0.5.1-4+b3	1 086,9 Кб	1 974,0 Кб	[список файлов]
armel	0.5.1-4+b3	992,4 Кб	1 230,0 Кб	[список файлов]
armhf	0.5.1-4+b3	992,5 Кб	1 230,0 Кб	[список файлов]
i386	0.5.1-4+b3	992,6 Кб	1 230,0 Кб	[список файлов]
mips64el	0.5.1-4+b3	992,7 Кб	1 230,0 Кб	[список файлов]
ppc64el	0.5.1-4+b3	1 093,0 Кб	2 057,0 Кб	[список файлов]
riscv64	0.5.1-4+b3	1 126,3 Кб	2 488,0 Кб	[список файлов]
s390x	0.5.1-4+b3	1 083,9 Кб	1 939,0 Кб	[список файлов]