package ocplib-simplex

  1. Overview
  2. Docs
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions

Install

Dune Dependency

Authors

Maintainers

Sources

v0.4.tar.gz
md5=fbde2d7194acc0cda9f1b4511f4baa27

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.

Published: 23 Aug 2017

Dependencies (4)

  1. num
  2. conf-autoconf build
  3. ocamlfind build
  4. ocaml >= "4.01.0" & < "5.1~"

Dev Dependencies

None

Used by (6)

  1. alt-ergo >= "2.0.0" & < "2.3.0"
  2. alt-ergo-free < "2.3.3"
  3. alt-ergo-lib < "2.4.3"
  4. alt-ergo-lib-free
  5. colibri2
  6. osdp >= "0.6.0" & < "1.1.1"

Conflicts (1)

  1. osdp = "0.5.4"