JAGAL 1.0.2

@adlange adlange released this Jan 22, 2016 · 1 commit to master since this release

Changes:

  • some minor changes

To add a dependency on JAGAL using Maven, use the following:

<dependency>
  <groupId>de.uni.freiburg.iig.telematik</groupId>
  <artifactId>JAGAL</artifactId>
  <version>1.0.2</version>
</dependency>

Downloads

JAGAL 1.0.1

@adlange adlange released this Sep 10, 2015 · 3 commits to master since this release

Changes:

  • fixed project dependencies

To add a dependency on JAGAL using Maven, use the following:

<dependency>
  <groupId>de.uni.freiburg.iig.telematik</groupId>
  <artifactId>JAGAL</artifactId>
  <version>1.0.1</version>
</dependency>

Downloads

JAGAL 1.0.0

@adlange adlange released this Jul 29, 2015 · 8 commits to master since this release

First final release of JAGAL with the following features:

  • Implementation of directed graphs
  • Implementation of directed weighted graphs
  • Graph algorithms (Tarjan for SCCs)
  • Graph visualization (Circle layout)
  • Graph traversal (depth first, breadth first)
  • Traversal utils (Predecessors, Siblings, Cycles, ...)
  • Implementation of Transition Systems
  • Implementation of Labelled Transition Systems

To add a dependency on JAGAL using Maven, use the following:

<dependency>
  <groupId>de.uni.freiburg.iig.telematik</groupId>
  <artifactId>JAGAL</artifactId>
  <version>1.0.0</version>
</dependency>

Downloads