Opam Package aifad.2.2.2

Package info

opam-nameaifad
opam-version2.2.2
synopsisAIFAD - Automated Induction of Functions over Algebraic Datatypes
description AIFAD is a machine learning tool that generalizes decision tree learning to algebraic datatypes.
authors
  • Markus Mottl <markus.mottl@gmail.com>
homepagehttps://mmottl.github.io/aifad
licenseLGPL-2.1-or-later with OCaml-LGPL-linking-exception
changes-fileCHANGES.md
license-fileLICENSE.md
readme-fileREADME.md
deps (5)
revdeps(0)
metas (1)
libraries(0)

Package modules

Package sources

aifad

Package files

lib/aifad/opam
lib/aifad/dune-package
lib/aifad/META
lib/aifad
doc/aifad/README.md
doc/aifad/LICENSE.md
doc/aifad/CHANGES.md
doc/aifad
bin/aifad