this repo has no description

0.5 Release

Changed files
+66
packages
ocplib-simplex
ocplib-simplex.0.5
+66
packages/ocplib-simplex/ocplib-simplex.0.5/opam
···
+
opam-version: "2.0"
+
version: "0.5"
+
+
authors: [
+
"Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
+
"Hichem Ait El Hara <hichem@ocamlpro.com>"
+
"Steven de Oliveira <steven@ocamlpro.com>"
+
"Guillaume Bury <guillaume.bury@ocamlpro.com>"
+
]
+
maintainer: [
+
"Hichem Ait El Hara <hichem@ocamlpro.com>"
+
"Steven de Oliveira <steven@ocamlpro.com>"
+
"Guillaume Bury <guillaume.bury@ocamlpro.com>"
+
]
+
+
license: "LGPL-2.1-only"
+
homepage: "https://github.com/OCamlPro/ocplib-simplex"
+
+
bug-reports: "https://github.com/OCamlPro/ocplib-simplex/issues"
+
dev-repo: "git+https://github.com/OCamlPro/ocplib-simplex.git"
+
+
build: [
+
["dune" "subst"] {pinned}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
+
install:[
+
[make "install"]
+
]
+
+
remove:[
+
[make "uninstall"]
+
]
+
+
depends: [
+
"ocaml" {>= "4.02.0"}
+
"dune" {>= "2.0"}
+
"num"
+
"logs" {>= "0.5.0"}
+
]
+
+
conflicts: [ "osdp" {= "0.5.4"} ]
+
synopsis:
+
"A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities and optimizing linear objective functions"
+
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."""
+
flags: light-uninstall
+
url {
+
src:
+
"https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.5.tar.gz"
+
checksum: "md5=8e0596c828b50527314001d4c6ca3123"
+
}