Search GODI:
FREE SOFTWARE ON CAMLCITY.ORG
A machine learning tool for structured data.
AIFAD is a machine learning tool for "Automated Induction of Functions over Algebraic Datatypes".
| Version: | 1.0.27 |
| Homepage: | http://www.ocaml.info/aifad |
| Maintainer: | Markus Mottl <markus.mottl@gmail.com> |
| Files: |
doc/apps-aifad/Changes doc/apps-aifad/INSTALL.txt doc/apps-aifad/LICENSE doc/apps-aifad/README.txt |
| Built from sources: |
aifad-1.0.27 |
