Download automata-incremental JAR file with all dependencies
automata-incremental from group net.automatalib (version 0.7.0)
A library for incremental automata construction. This artifact contains algorithms
for incrementally constructing DFAs (both prefix-closed and non-prefix-closed) and
Mealy machines from a finite, incrementally growing set of example inputs/outputs.
Artifact automata-incremental
Group net.automatalib
Version 0.7.0
Last update 07. February 2018
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 7
Dependencies automata-commons-util, automata-api, automata-core, automata-util, guava, jsr305, testng,
There are maybe transitive dependencies!
Group net.automatalib
Version 0.7.0
Last update 07. February 2018
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 7
Dependencies automata-commons-util, automata-api, automata-core, automata-util, guava, jsr305, testng,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)