opam-version: "2.0"

authors: [
  "Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
]
maintainer: [
  "Mohamed Iguernlala <mohamed.iguernlala@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:[
        ["autoconf"]
        ["./configure" "-prefix" "%{prefix}%"]
	[make]
]


install:[
	[make "install"]
]

remove:[
        ["ocamlfind" "remove" "ocplib-simplex"]
]

depends: [
  "ocaml" {>= "4.01.0" & < "5.1~"}
  "ocamlfind" {build}
  "conf-autoconf" {build}
  "num"
]
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-Iguernlala/ocplib-simplex/archive/v0.4.tar.gz"
  checksum: [
    "sha256=e17dab080508f2d02ce727c3dbc8dbc2613b15229cc74c67d3d11d4fdf22d878"
    "md5=fbde2d7194acc0cda9f1b4511f4baa27"
  ]
}