aifadversion
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 | http://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/v2.0.7/aifad-2.0.7.tar.gz sha256=d84f5d62be111e755f17cc5f22af52504b14b05c4d384880075175333922cf7f md5=3864ff2d5ea82bf133f73dd2a78bb0cb |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/aifad/aifad.2.0.7/opam |
No package is dependent
