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
Documentation mmottl.github.io Edit opam file
Published
29 Dec 2015
Authors
Maintainers
Sources
aifad-2.0.8.tar.gz
md5=d4d4d11f08b3f0d719580b643510de75
Dependencies
res build
pcre build
ocamlbuild build
ocamlfind build & >= "1.3.1"
cfg <= "2.0.4"
base-threads build
ocaml >= "4.00"
Reverse Dependencies