Balík: ocplib-simplex-ocaml-dev (0.4-2 a iné)

[ Zdroj: 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.

Ostatné balíky súvisiace s balíkom ocplib-simplex-ocaml-dev

• dep: ocaml-base-nox-4.11.1

  virtuálny balík poskytovaný balíkom ocaml-base-nox

Stiahnuť ocplib-simplex-ocaml-dev

Stiahnuť pre všetky dostupné architektúry

Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
arm64	0.4-2+b1	269.8 kB	3,200.0 kB	[zoznam súborov]