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
Sources
aifad-2.0.8.tar.gz
md5=d4d4d11f08b3f0d719580b643510de75
Dependencies
res
build
pcre
build
ocamlfind
build & >= "1.3.1"
cfg
<= "2.0.4"
ocaml
>= "4.00"
Reverse Dependencies