opam-version: "2.0" authors: "Mohamed Iguernlala " maintainer: "Mohamed Iguernlala " license: "LGPL-2.1-only" homepage: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex" bug-reports: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex/issues" dev-repo: "git+https://github.com/OCamlPro-Iguernlala/ocplib-simplex.git" build:[ ["autoconf"] ["./configure"] [make] ] install:[ [make "install"] ] remove:[ ["ocamlfind" "remove" "ocplib-simplex"] ] depends: [ "ocaml" {>= "4.01.0"} "ocamlfind" {build} "conf-autoconf" {build} "num" ] synopsis: "A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions" 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.""" flags: light-uninstall url { src: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex/archive/0.3.tar.gz" checksum: [ "sha256=59bf450593e2407d52029140803e0e1343d6e30d1564f65cb2b7ec9582681171" "md5=ef6d61360bc1ed6c6f273dd723c71016" ] }