aifad
AIFAD - Automated Induction of Functions over Algebraic Datatypes
Description
AIFAD is a machine learning tool that generalizes decision tree learning to algebraic datatypes.
Install
- Published
-
29 Dec 2015
- Maintainers
-
Sources
Dependencies
res
build
pcre
build
ocamlbuild
build
ocamlfind
build & >= "1.3.1"
cfg
<= "2.0.4"
base-threads
build
ocaml
>= "4.00"
Reverse Dependencies