this repo has no description
anil.recoil.org
1opam-version: "2.0"
2
3authors: "Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
4maintainer: "Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
5
6license: "LGPL-2.1-only"
7homepage: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex"
8
9bug-reports: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex/issues"
10dev-repo: "git+https://github.com/OCamlPro-Iguernlala/ocplib-simplex.git"
11build:[
12 ["autoconf"]
13 ["./configure"]
14 [make]
15]
16
17
18install:[
19 [make "install"]
20]
21
22remove:[
23 ["ocamlfind" "remove" "ocplib-simplex"]
24]
25
26depends: [
27 "ocaml" {>= "4.01.0"}
28 "ocamlfind" {build}
29 "conf-autoconf" {build}
30 "num"
31]
32synopsis:
33 "A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions"
34description: """
35`ocplib-simplex` is a (fully) functional OCaml implementation of the
36simplex algorithm for solving systems of linear inequalities. The
37implementation is incremental and backtrackable. It is able to extract
38unsat-cores for unsatisfiable problems. Versions `> 0.1` also support
39linear optimization."""
40flags: light-uninstall
41url {
42 src:
43 "https://github.com/OCamlPro-Iguernlala/ocplib-simplex/archive/0.3.tar.gz"
44 checksum: [
45 "sha256=59bf450593e2407d52029140803e0e1343d6e30d1564f65cb2b7ec9582681171"
46 "md5=ef6d61360bc1ed6c6f273dd723c71016"
47 ]
48}