Michael Westergaard

Repositories

16

Projects Packages

4

Public activity Starred repositories

ltl2aut:ltl2aut (2.2.0)

Published 2026-07-26 15:20:03 +00:00 by klafbang in klafbang/ltl2aut

Installation

Setup this registry in your project pom.xml file:

<repositories>
	<repository>
		<id>gitea</id>
		<url></url>
	</repository>
</repositories>

<distributionManagement>
	<repository>
		<id>gitea</id>
		<url></url>
	</repository>

	<snapshotRepository>
		<id>gitea</id>
		<url></url>
	</snapshotRepository>
</distributionManagement>

To use the package include the following in the dependencies block in the pom.xml file:

<dependency>
	<groupId>ltl2aut</groupId>
	<artifactId>ltl2aut</artifactId>
	<version>2.2.0</version>
</dependency>

Run via command line:

mvn install

To download the dependency, run via command line:

mvn dependency:get -DremoteRepositories= -Dartifact=ltl2aut:ltl2aut:2.2.0

For more information on the Maven registry, see the documentation.

Dependencies

com.github.vbmacher:java-cup-runtime

11b-20160615-3

junit:junit

${junit.version}

Details

Maven

klafbang/ltl2aut

2026-07-26 15:20:03 +00:00

1

ltl2aut

152 KiB

Assets (2)

ltl2aut-2.2.0.jar 148 KiB

ltl2aut-2.2.0.pom 3.9 KiB

Versions (5) View all

2.3.10 2026-07-26

2.3.9 2026-07-26

2.3.8 2026-07-26

2.2.0 2026-07-26

2.1.8 2026-07-26

Issues