this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Markus Mottl <markus.mottl@gmail.com>"
3authors: [ "Markus Mottl <markus.mottl@gmail.com>" ]
4license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
5homepage: "https://mmottl.github.io/aifad"
6doc: "https://mmottl.github.io/aifad/api"
7dev-repo: "git+https://github.com/mmottl/aifad.git"
8bug-reports: "https://github.com/mmottl/aifad/issues"
9
10build: [
11 ["dune" "subst"] {dev}
12 ["dune" "build" "-p" name "-j" jobs]
13]
14
15depends: [
16 "ocaml" {>= "4.04"}
17 "dune" {>= "1.4.0"}
18 "res"
19 "pcre"
20 "cfg" {>= "2.1.0"}
21]
22
23synopsis: "AIFAD - Automated Induction of Functions over Algebraic Datatypes"
24
25description: """
26AIFAD is a machine learning tool that generalizes decision tree learning to
27algebraic datatypes."""
28url {
29 src:
30 "https://github.com/mmottl/aifad/releases/download/2.2.2/aifad-2.2.2.tbz"
31 checksum: [
32 "sha256=98eee91cb1644d48aae66e1fdd0843d723d3754cafb538bbc319d0c206d9d08f"
33 "md5=eaa6532ae081f9a601e99f2700c791e0"
34 ]
35}