JarCasting
JarCasting JarCasting
Last Version

AutomataLib :: Incremental 0.10.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.

License

License
Categories

Categories

Net Auto Application Layer Libs Code Generators
GroupId

GroupId

net.automatalib
ArtifactId

ArtifactId

automata-incremental
Version

Version

0.10.0
Type

Type

jar
Description

Description

AutomataLib :: Incremental
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.

Download automata-incremental 0.10.0

Filename Size
automata-incremental-0.10.0.pom
automata-incremental-0.10.0.jar 91 KB
automata-incremental-0.10.0-sources.jar 50 KB
automata-incremental-0.10.0-javadoc.jar 300 KB
Browse 

<!-- https://jarcasting.com/artifacts/net.automatalib/automata-incremental/ -->
<dependency>
    <groupId>net.automatalib</groupId>
    <artifactId>automata-incremental</artifactId>
    <version>0.10.0</version>
</dependency>
// https://jarcasting.com/artifacts/net.automatalib/automata-incremental/
implementation 'net.automatalib:automata-incremental:0.10.0'
// https://jarcasting.com/artifacts/net.automatalib/automata-incremental/
implementation ("net.automatalib:automata-incremental:0.10.0")
'net.automatalib:automata-incremental:jar:0.10.0'
<dependency org="net.automatalib" name="automata-incremental" rev="0.10.0">
  <artifact name="automata-incremental" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.automatalib', module='automata-incremental', version='0.10.0')
)
libraryDependencies += "net.automatalib" % "automata-incremental" % "0.10.0"
[net.automatalib/automata-incremental "0.10.0"]

Dependencies

compile (7)

Group / Artifact Type Version
net.automatalib : automata-api jar 0.10.0
net.automatalib : automata-commons-util jar 0.10.0
net.automatalib : automata-core jar 0.10.0
net.automatalib : automata-commons-smartcollections jar 0.10.0
net.automatalib : automata-util jar 0.10.0
com.google.guava : guava jar 29.0-jre
org.checkerframework : checker-qual jar 3.7.0

test (3)

Group / Artifact Type Version
net.automatalib : automata-jung-visualizer jar 0.10.0
net.java.openjdk.cacio : cacio-tta jar 1.9
org.testng : testng jar 7.1.0

Project Modules

There are no modules declared in this project.