this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis:
3 "A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities"
4description:
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."
6maintainer: "OCamlPro <contact@ocamlpro.com>"
7authors: [
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]
13license: "LGPL-2.1-or-later"
14homepage: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex"
15bug-reports: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex/issues"
16depends: [
17 "ocaml" {>= "4.01.0"}
18 "ocamlfind" {build}
19 "conf-autoconf" {build}
20 "num"
21]
22build: [
23 ["autoconf"]
24 ["./configure" "-prefix" "%{prefix}%"]
25 [make]
26]
27install: [make "install"]
28dev-repo: "git+https://github.com/OCamlPro-Iguernlala/ocplib-simplex.git"
29url {
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}