package aifad

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

Install

mmottl.github.io Edit opam file

Authors

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

Maintainers

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

Sources

aifad-2.1.0.tbz
md5=74557c6b156e1670a01923f8b1cd29ae

Description

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

Published: 02 Aug 2017

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