net.automatalib:automata-incremental 0.3.1

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.

Categories	Net Auto Application Layer Libs Code Generators
GroupId	net.automatalib
ArtifactId	automata-incremental
Version	0.3.1
Type	jar

Download automata-incremental 0.3.1

Filename	Size
automata-incremental-0.3.1.pom
automata-incremental-0.3.1.jar	38 KB
automata-incremental-0.3.1-sources.jar	26 KB
automata-incremental-0.3.1-javadoc.jar	146 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/net.automatalib/automata-incremental/ -->
<dependency>
    <groupId>net.automatalib</groupId>
    <artifactId>automata-incremental</artifactId>
    <version>0.3.1</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/net.automatalib/automata-incremental/
implementation 'net.automatalib:automata-incremental:0.3.1'

Gradle Kotlin

// https://jarcasting.com/artifacts/net.automatalib/automata-incremental/
implementation ("net.automatalib:automata-incremental:0.3.1")

Apache Buildr

'net.automatalib:automata-incremental:jar:0.3.1'

Apache Ivy

<dependency org="net.automatalib" name="automata-incremental" rev="0.3.1">
  <artifact name="automata-incremental" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='net.automatalib', module='automata-incremental', version='0.3.1')
)

Scala SBT

libraryDependencies += "net.automatalib" % "automata-incremental" % "0.3.1"

Leiningen

[net.automatalib/automata-incremental "0.3.1"]