Opam Package ocplib-simplex.0.4

Package info

opam-nameocplib-simplex
opam-version0.4
synopsisA library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions
description `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. Versions `> 0.1` also support linear optimization.
authors
  • Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>
homepagehttps://github.com/OCamlPro-Iguernlala/ocplib-simplex
licenseLGPL-2.1-only
deps (4)
revdeps (2)
metas (1)
libraries (1)

Package modules

Package sources

ocplib-simplex

Package files

lib/ocplib-simplex/version.mli
lib/ocplib-simplex/solveBounds.mli
lib/ocplib-simplex/result.mli
lib/ocplib-simplex/rat2.mli
lib/ocplib-simplex/polys.mli
lib/ocplib-simplex/ocplibSimplex.o
lib/ocplib-simplex/ocplibSimplex.cmxs
lib/ocplib-simplex/ocplibSimplex.cmxa
lib/ocplib-simplex/ocplibSimplex.cmx
lib/ocplib-simplex/ocplibSimplex.cmt
lib/ocplib-simplex/ocplibSimplex.cmo
lib/ocplib-simplex/ocplibSimplex.cmi
lib/ocplib-simplex/ocplibSimplex.cma
lib/ocplib-simplex/ocplibSimplex.a
lib/ocplib-simplex/extSigs.mli
lib/ocplib-simplex/coreSig.mli
lib/ocplib-simplex/core.mli
lib/ocplib-simplex/basic.mli
lib/ocplib-simplex/assertBounds.mli
lib/ocplib-simplex/META
lib/ocplib-simplex