Download automata-incremental JAR file with all dependencies
automata-incremental from group net.automatalib (version 0.3.1-ase2013-tutorial-r1)
A library for incremental automata construction. This artifact contains algorithms for incrementally
constructing DFAs (prefix-closed and non-prefix-closed), Mealy machines, and Moore machines from a finite,
incrementally growing set of example inputs/outputs.
Artifact automata-incremental
Group net.automatalib
Version 0.3.1-ase2013-tutorial-r1
Last update 13. December 2013
Tags: constructing both contains growing from finite machines dfas artifact inputs mealy prefix automata library closed algorithms incremental example outputs incrementally this construction
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies automata-api, automata-commons-smartcollections, automata-commons-util, automata-core, automata-util, guava, checker-qual, cacio-tta, testng,
There are maybe transitive dependencies!
Group net.automatalib
Version 0.3.1-ase2013-tutorial-r1
Last update 13. December 2013
Tags: constructing both contains growing from finite machines dfas artifact inputs mealy prefix automata library closed algorithms incremental example outputs incrementally this construction
Organization not specified
URL Not specified
License not specified
Dependencies amount 9
Dependencies automata-api, automata-commons-smartcollections, automata-commons-util, automata-core, automata-util, guava, checker-qual, cacio-tta, testng,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)