package ocplib-simplex

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

Install

Dune Dependency

Authors

Maintainers

Sources

v0.4.1.tar.gz
md5=6b394721cace379ee728e5a658183e23
sha512=6436a904f4e0ec4efa13592185764b58142296816855562d9c2c6d360b64ab554bbd95314976e0462fbb2ed145f8915fd9c2f63f7bae66063efb4c51f74f3edb

Description

This library 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: 26 Apr 2023

Dependencies (4)

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

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.5.0"
  4. alt-ergo-lib-free
  5. colibri2 < "0.4"
  6. osdp = "0.6.0"

Conflicts

None

OCaml

Innovation. Community. Security.