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
|
Source: ocplib-simplex
Section: ocaml
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>,
Build-Depends:
debhelper-compat (= 13),
dh-ocaml (>= 1.2),
libzarith-ocaml-dev,
liblogs-ocaml-dev,
ocaml,
ocaml-dune (>= 3.17)
Standards-Version: 4.7.0
Rules-Requires-Root: no
Homepage: https://github.com/OCamlPro-Iguernlala/ocplib-simplex
Vcs-Browser: https://salsa.debian.org/ocaml-team/ocplib-simplex
Vcs-Git: https://salsa.debian.org/ocaml-team/ocplib-simplex.git
Package: ocplib-simplex-ocaml-dev
Architecture: any
Depends: ${misc:Depends}, ${ocaml:Depends}, ${shlibs:Depends}
Suggests: ocaml-findlib
Provides: ${ocaml:Provides}
Description: simplex library for solving linear inequalities
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, and supports linear
optimization.
|
