-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
27 lines (27 loc) · 1.02 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
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-only"]
dev-repo: "git+https://github.com/AltGr/ocaml-mccs.git"
build: ["dune" "build" "-p" name]
depends: [
"ocaml" {< "4.10"}
"dune" {< "1.6.0" | (> "1.6.1" & < "2.0")}
"cudf" {>= "0.7"}
"conf-c++" {build}
]
synopsis: "Multi Criteria CUDF Solver with OCaml bindings"
description: """
This is a stripped-down version of the mccs solver (written in C++), including
OCaml bindings based on the cudf library, and the GLPK backend (in C). Note that
it also includes some correction fixes, and a few changes not present in the
upstream yet."""
url {
src: "https://github.com/AltGr/ocaml-mccs/archive/1.1+6.tar.gz"
checksum: "md5=864333066431caf9ebe3a3e1dc4fb22e"
}