package aifad

  1. Overview
  2. No Docs
AIFAD - Automated Induction of Functions over Algebraic Datatypes

Install 

dune-project
 Dependency

mmottl.github.io Edit opam file Versions (6)

Authors

  1. M
    Markus Mottl <markus.mottl@gmail.com>

Maintainers

  1. M
    Markus Mottl <markus.mottl@gmail.com>

Sources

aifad-2.1.0.tbz
sha256=f253e6288a0b3a4eaaaf531a252facc8f1c15750a658a9218ebebd3ad08a444b
md5=74557c6b156e1670a01923f8b1cd29ae

Description

AIFAD is a machine learning tool that generalizes decision tree learning to algebraic datatypes.

Added to opam-repository:

Dependencies (5)

  1. jbuilder >= "1.0+beta10"
  2. cfg >= "2.1.0"
  3. pcre
  4. res
  5. ocaml >= "4.04"

Dev Dependencies

None

Used by

None

Conflicts

None