opam-version: "2.0"
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."
maintainer: "OCamlPro <contact@ocamlpro.com>"
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>"
]
license: "LGPL-2.1-or-later"
homepage: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex"
bug-reports: "https://github.com/OCamlPro-Iguernlala/ocplib-simplex/issues"
depends: [
  "ocaml" {>= "4.01.0"}
  "ocamlfind" {build}
  "conf-autoconf" {build}
  "num"
]
build: [
  ["autoconf"]
  ["./configure" "-prefix" "%{prefix}%"]
  [make]
]
install: [make "install"]
dev-repo: "git+https://github.com/OCamlPro-Iguernlala/ocplib-simplex.git"
url {
  src:
    "https://github.com/OCamlPro/ocplib-simplex/archive/refs/tags/v0.4.1.tar.gz"
  checksum: [
    "md5=6b394721cace379ee728e5a658183e23"
    "sha512=6436a904f4e0ec4efa13592185764b58142296816855562d9c2c6d360b64ab554bbd95314976e0462fbb2ed145f8915fd9c2f63f7bae66063efb4c51f74f3edb"
  ]
}