this repo has no description
Merge pull request #23696 from Halbaroth/opam-publish-ocplib-simplex.0.4.1
Package ocplib-simplex.0.4.1
+36
+36
packages/ocplib-simplex/ocplib-simplex.0.4.1/opam
+36
packages/ocplib-simplex/ocplib-simplex.0.4.1/opam
···
1
+
opam-version: "2.0"
2
+
synopsis:
3
+
"A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities"
4
+
description:
5
+
"This library 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."
6
+
maintainer: "OCamlPro <contact@ocamlpro.com>"
7
+
authors: [
8
+
"Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
9
+
"Hichem Ait El Hara <hichem.ait-el-hara@ocamlpro.com>"
10
+
"Steven de Oliveira <steven.de-oliveira@ocamlpro.com>"
11
+
"Guillaume Bury <guillaume.bury@ocamlpro.com>"
12
+
]
13
+
license: "LGPL-2.1-or-later"
14
+
homepage: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex"
15
+
bug-reports: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex/issues"
16
+
depends: [
17
+
"ocaml" {>= "4.01.0"}
18
+
"ocamlfind" {build}
19
+
"conf-autoconf" {build}
20
+
"num"
21
+
]
22
+
build: [
23
+
["autoconf"]
24
+
["./configure" "-prefix" "%{prefix}%"]
25
+
[make]
26
+
]
27
+
install: [make "install"]
28
+
dev-repo: "git+https://github.com/OCamlPro-Iguernlala/ocplib-simplex.git"
29
+
url {
30
+
src:
31
+
"https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.4.1.tar.gz"
32
+
checksum: [
33
+
"md5=6b394721cace379ee728e5a658183e23"
34
+
"sha512=6436a904f4e0ec4efa13592185764b58142296816855562d9c2c6d360b64ab554bbd95314976e0462fbb2ed145f8915fd9c2f63f7bae66063efb4c51f74f3edb"
35
+
]
36
+
}