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