pom.xml

<?xml version="1.0" encoding="UTF-8"?>
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
    <modelVersion>4.0.0</modelVersion>
    <groupId>personal.aurelien</groupId>
    <artifactId>irl_prob2</artifactId>
    <version>1.0-SNAPSHOT</version>
    <packaging>jar</packaging>
    <properties>
        <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
        <maven.compiler.source>1.7</maven.compiler.source>
        <maven.compiler.target>1.7</maven.compiler.target>
    </properties>
    <dependencies>
        <!-- https://mvnrepository.com/artifact/de.hhu.stups/ltl-dsl -->
        <dependency>
            <groupId>de.hhu.stups</groupId>
            <artifactId>ltl-dsl</artifactId>
            <version>0.1.0</version>
        </dependency>
        
        <!-- https://mvnrepository.com/artifact/de.hhu.stups/de.prob2.kernel -->
        <dependency>
            <groupId>de.hhu.stups</groupId>
            <artifactId>de.prob2.kernel</artifactId>
            <version>3.2.6</version>
        </dependency>
    </dependencies>
    <name>IRL_ProB</name>
</project>