this repo has no description
anil.recoil.org
1opam-version: "2.0"
2license: "LGPL-2.1-only"
3maintainer: "Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr>"
4authors: ["Jean-Christophe Filliâtre <jean-christophe.filliatre@cnrs.fr>" "Rémy El Sibaie <remy.el-sibaie@lip6.fr>"]
5homepage: "https://github.com/backtracking/combine"
6bug-reports: "http://github.com/backtracking/combine/issues"
7dev-repo: "git+https://github.com/backtracking/combine.git"
8build: [
9 ["./configure" "--prefix=%{prefix}%"]
10 [make]
11]
12install: [make "install"]
13remove: ["ocamlfind" "remove" "combine"]
14depends: [
15 "ocaml" {>= "4.01.0" & < "5.0.0"}
16 "ocamlfind" {build}
17 "ocamlbuild" {build}
18 "num"
19]
20synopsis: "Combine is a library for combinatorics problem solving."
21description: """
22The Combine library contains four main modules:
23 - Dlx: implements Knuth's dancing links
24 - Zdd: implements Zero-suppressed binary decision diagrams
25 - Emc: a common interface to modules Dlx and Zdd to solve the
26 Exact Matrix Cover problem
27 - Tiling: converts a 2D tiling problem into an EMC problem"""
28flags: light-uninstall
29url {
30 src:
31 "https://github.com/ocaml/opam-source-archives/raw/main/combine-0.6.zip"
32 checksum: [
33 "sha256=6932ac2fe60f23e76ea0189b22ce70b2d041cf51da3470c6602ffdb04d45b444"
34 "md5=224c1aa36a7ee6a2223f2bca4e5f6f0f"
35 ]
36}