opam-version: "2.0"
name: "ocplib-simplex"
version: "0.4.1"
synopsis:
  "A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities"
description:
  "This library 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."

authors: [
  "Mohamed Iguernlala <mohamed.iguernlala@ocamlpro.com>"
  "Hichem Ait El Hara <hichem.ait-el-hara@ocamlpro.com>"
  "Steven de Oliveira <steven.de-oliveira@ocamlpro.com>"
  "Guillaume Bury <guillaume.bury@ocamlpro.com>"
]
maintainer: ["OCamlPro <contact@ocamlpro.com>"]

license: "LGPL-2.1-or-later"
homepage: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex"

bug-reports: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex/issues"
dev-repo: "git+https://github.com/OCamlPro-Iguernlala/ocplib-simplex.git"


build:[
        ["autoconf"]
        ["./configure" "-prefix" "%{prefix}%"]
	[make]
]


install:[
	[make "install"]
]

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

depends: [
  "ocaml" {>= "4.01.0"}
  "ocamlfind" {build}
  "conf-autoconf" {build}
  "num"
]
flags: light-uninstall
