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

github.com Edit opam file Versions (5)

Authors

  1. M
    Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>
  2. H
    Hichem Ait El Hara <hichem.ait-el-hara@ocamlpro.com>
  3. S
    Steven de Oliveira <steven.de-oliveira@ocamlpro.com>
  4. G
    Guillaume Bury <guillaume.bury@ocamlpro.com>

Maintainers

  1. O
    OCamlPro <contact@ocamlpro.com>

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