forked from OCamlPro/ocplib-simplex
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdune-project
39 lines (29 loc) · 1.15 KB
/
dune-project
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
(lang dune 2.0)
(name ocplib-simplex)
(version 0.5)
(generate_opam_files true)
(source
(github OCamlPro/ocplib-simplex))
(authors
"Mohamed Iguernlala <[email protected]>"
"Hichem Ait El Hara <[email protected]>"
"Steven de Oliveira <[email protected]>"
"Guillaume Bury <[email protected]>"
)
(maintainers "OCamlPro <[email protected]>")
(license LICENSE)
(documentation https://github.com/OCamlPro/ocplib-simplex)
(package
(name ocplib-simplex)
(synopsis
"ocplib-simplex: A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities")
(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.")
(depends
(ocaml (>= 4.02.0))
(dune (>= 2.0))
(ocamlfind (>= 1.9.1))
(zarith :with-test)
(logs (>= 0.5.0))
))
; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project