this repo has no description
anil.recoil.org
1opam-version: "2.0"
2
3authors: [
4 "Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
5 "Hichem Ait El Hara <hichem@ocamlpro.com>"
6 "Steven de Oliveira <steven@ocamlpro.com>"
7 "Guillaume Bury <guillaume.bury@ocamlpro.com>"
8]
9maintainer: [
10 "Hichem Ait El Hara <hichem@ocamlpro.com>"
11 "Steven de Oliveira <steven@ocamlpro.com>"
12 "Guillaume Bury <guillaume.bury@ocamlpro.com>"
13]
14
15license: "LGPL-2.1-only"
16homepage: "https://github.com/OCamlPro/ocplib-simplex"
17
18bug-reports: "https://github.com/OCamlPro/ocplib-simplex/issues"
19dev-repo: "git+https://github.com/OCamlPro/ocplib-simplex.git"
20
21build: [
22 ["dune" "subst"] {dev}
23 [
24 "dune"
25 "build"
26 "-p"
27 name
28 "-j"
29 jobs
30 "@install"
31 "@runtest" {with-test}
32 "@doc" {with-doc}
33 ]
34]
35
36depends: [
37 "ocaml" {>= "4.02.0"}
38 "dune" {>= "2.0"}
39 "num"
40 "logs" {>= "0.5.0"}
41]
42
43synopsis:
44 "A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions"
45description: """
46`ocplib-simplex` is a (fully) functional OCaml implementation of the
47simplex algorithm for solving systems of linear inequalities. The
48implementation is incremental and backtrackable. It is able to extract
49unsat-cores for unsatisfiable problems. Versions `> 0.1` also support
50linear optimization."""
51flags: light-uninstall
52url {
53 src:
54 "https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.5.tar.gz"
55 checksum: [
56 "sha256=5d76f55cc19c4ce212789ecb879d86b876e8930283463fc4f8ac1374ddfa6ef4"
57 "md5=8e0596c828b50527314001d4c6ca3123"
58 ]
59}