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: 24 Nov 2022

Dependencies (4)

  1. logs >= "0.5.0"
  2. num
  3. dune >= "2.0"
  4. ocaml >= "4.02.0"

Development Dependencies

    None

Reverse Dependencies

    None

Conflicts

    None
A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions

Install

Documentation github.com Readme Changelog LGPL-2.1-only License Edit opam file

Authors

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

Maintainers

  1. H
    Hichem Ait El Hara <hichem@ocamlpro.com>
  2. S
    Steven de Oliveira <steven@ocamlpro.com>
  3. G
    Guillaume Bury <guillaume.bury@ocamlpro.com>

Sources

v0.5.tar.gz
md5=8e0596c828b50527314001d4c6ca3123