aifadversion Documentation on ocaml.org
AIFAD - Automated Induction of Functions over Algebraic Datatypes
AIFAD is a machine learning tool that generalizes decision tree learning to algebraic datatypes.
| Author | Markus Mottl <markus.mottl@gmail.com> |
|---|---|
| License | LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception |
| Published | |
| Homepage | https://mmottl.github.io/aifad |
| Issue Tracker | https://github.com/mmottl/aifad/issues |
| Maintainer | Markus Mottl <markus.mottl@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/mmottl/aifad/releases/download/2.2.1/aifad-2.2.1.tbz sha256=2b3e4811123dacbd7fea6da53e6a39d1b199758d0df789d6aff9d2a364623363 md5=162a9b02818fabfe36a229b5e7f062fe |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/aifad/aifad.2.2.1/opam |
No package is dependent
