opam-version: "2.0"
license: "LGPL-2.1-only"
maintainer: "Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr>"
authors: ["Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr>" "Rémy El Sibaie <remy.el-sibaie@lip6.fr>"]
homepage: "https://github.com/backtracking/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" & < "5.0.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/ocaml/opam-source-archives/raw/main/combine-0.6.zip"
  checksum: [
    "sha256=6932ac2fe60f23e76ea0189b22ce70b2d041cf51da3470c6602ffdb04d45b444"
    "md5=224c1aa36a7ee6a2223f2bca4e5f6f0f"
  ]
}