-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
48 lines (41 loc) · 1.35 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
opam-version: "2.0"
authors: "Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
maintainer: "Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
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"
]
}