Download automata-incremental JAR file with all dependencies
automata-incremental from group net.automatalib (version 0.11.0)
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.11.0
Last update 06. November 2023
Tags: outputs algorithms constructing prefix finite inputs this incremental example artifact growing contains library moore incrementally construction closed mealy from dfas machines automata
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.11.0
Last update 06. November 2023
Tags: outputs algorithms constructing prefix finite inputs this incremental example artifact growing contains library moore incrementally construction closed mealy from dfas machines automata
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)