Gbury / Ocaml Simplex
Licence: bsd-2-clause
An ocaml implementation of variants of the simplex and branch&bound algorithms for satisfiability.
Programming Languages
ocaml
1615 projects
OCAML-SIMPLEX
OCaml module that provides a persistent implementation of a variant of the simplex algorithm to check for the satisfiability of a given system of linear equations/inequalities.
Dependencies
Requires the following in order to compile :
- zarith
- ocamlbuild
- ocamlfind
Build
'make' will compile the simplex module and the main executable to allow for some tests. 'make lib' will compile the simplex library (can be found after in _build/simplex.cmx[a]). 'make doc' will compile the documentation generated by ocamldoc, which can be then found in lib.docdir/index.html.
Tests
The main.ml file defines functions to generate random linear systems and then try and solve them.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].