opam-version: "2.0"
maintainer: "Louis Gesbert <louis.gesbert@ocamlpro.com>"
authors: [
  "Claude Michel <claude.michel@unice.fr>"
  "Louis Gesbert <louis.gesbert@ocamlpro.com>"
]
homepage: "http://www.i3s.unice.fr/~cpjm/misc/"
bug-reports: "https://github.com/AltGr/ocaml-mccs/issues"
license: ["LGPL-2.1-only with OCaml-LGPL-linking-exception" "BSD-3-Clause" "GPL-3.0"]
dev-repo: "git+https://github.com/AltGr/ocaml-mccs.git"
build: [
  ["dune" "build" "-p" name "-j" jobs]
  ["sh" "-c" "dune build @settests --auto-promote --profile=release || true"] {with-test}
  ["dune" "runtest" "--profile=release"] {with-test}
]
depends: [
  "ocaml" {< "4.10"}
  "dune" {>= "1.0"}
  "cudf" {>= "0.7"}
  "conf-g++" {build}
]
synopsis: "MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver
developed at UNS during the European MANCOOSI project"
url {
  src: "https://github.com/AltGr/ocaml-mccs/archive/1.1+10.tar.gz"
  checksum: [
    "md5=21fa1652179d47baebd2e3f3cfdbf1d7"
    "sha512=a22a0b7abf32950f234f43d45e69c4186f81b5c55b3ec0f8c25d13a59250c0690ac109b9022aeb8b48744c8e78c48cdb7e9c31ee1072e28464f9c3a9f0c1ca8e"
  ]
}
