opam-version: "2.0"
maintainer: "filliatr@lri.fr"
authors: [
  "Remy El Sibaie"
  "Jean-Christophe Filliâtre"
]
license: "LGPL-2.1-only"
build: [
  ["./configure" "--prefix=%{prefix}%"]
  [make]
]
remove: [["ocamlfind" "remove" "combine"]]
depends: [
  "ocaml" {< "4.06.0"}
  "menhir"
  "num"
]
dev-repo: "git://github.com/backtracking/combine"
install: [make "install"]
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/opam-packaged.zip"
  checksum: "md5=9545ebb80978d59bb3534b870cb20d2b"
}
