Michael Westergaard

Repositories

23

Projects Packages

10

Public activity Starred repositories

2

ltl2aut:ltl2aut (2.1.0)

Published 2026-10-03 09:42:04 +00:00 by Michael Westergaard 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.1.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.1.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-10-03 09:42:04 +00:00

11

2026-10-26 13:39:21 +00:00

ltl2aut

144 KiB

Assets (2)

ltl2aut-2.1.0.pom 3.8 KiB

ltl2aut-2.1.0.jar 140 KiB

Versions (7) View all

2.1.0 2026-10-03

2.3.11 2026-07-28

2.3.10 2026-07-26

2.3.9 2026-07-26

2.3.8 2026-07-26

Issues