opam-version: "2.0"
license: "LGPL-2.1"
maintainer: "Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr>"
authors: ["Jean-Christophe Filliâtre <jean-christophe.filliatre@lri.fr>" "Rémy El Sibaie <remy.el-sibaie@lip6.fr>"]
homepage: "https://www.lri.fr/~filliatr/combine/"
bug-reports: "http://github.com/backtracking/combine/issues"
dev-repo: "git+https://github.com/backtracking/combine.git"
build: [
  ["./configure" "--prefix=%{prefix}%"]
  [make]
]
install: [make "install"]
remove: ["ocamlfind" "remove" "combine"]
depends: [
  "ocaml" {>= "4.01.0"}
  "ocamlfind" {build}
  "ocamlbuild" {build}
  "num"
]
synopsis: "Combine is a library for combinatorics problem solving."
description: """
The Combine library contains four main modules:
  - Dlx: implements Knuth's dancing links
  - Zdd: implements Zero-suppressed binary decision diagrams
  - Emc: a common interface to modules Dlx and Zdd to solve the
         Exact Matrix Cover problem
  - Tiling: converts a 2D tiling problem into an EMC problem"""
flags: light-uninstall
url {
  src: "https://github.com/backtracking/combine/archive/release-0.6.zip"
  checksum: "md5=224c1aa36a7ee6a2223f2bca4e5f6f0f"
}
