probsolver
Used in:
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency>
<groupId>org.overturetool.core.modelcheckers</groupId>
<artifactId>probsolver</artifactId>
<version>2.3.0</version>
</dependency><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/maven-v4_0_0.xsd">
<modelVersion>4.0.0</modelVersion>
<parent>
<groupId>org.overturetool.core</groupId>
<artifactId>modelcheckers</artifactId>
<version>2.3.0</version>
<relativePath>../pom.xml</relativePath>
</parent>
<groupId>org.overturetool.core.modelcheckers</groupId>
<artifactId>probsolver</artifactId>
<name>Integration of the ProB Solver for VDM</name>
<repositories>
<!--repository>
<id>prob-cobra</id>
<name>prob-cobra</name>
<url>http://cobra.cs.uni-duesseldorf.de/artifactory/repo</url>
</repository-->
<repository>
<id>prob.overture.au.dk</id>
<name>prob.overture.au.dk-releases</name>
<url>http://overture.au.dk/artifactory/prob</url>
</repository>
</repositories>
<dependencies>
<dependency>
<groupId>org.overturetool.core</groupId>
<artifactId>ast</artifactId>
<version>${project.version}</version>
</dependency>
<dependency>
<groupId>org.overturetool.core</groupId>
<artifactId>typechecker</artifactId>
<version>${project.version}</version>
</dependency>
<dependency>
<groupId>junit</groupId>
<artifactId>junit</artifactId>
<version>4.11</version>
</dependency>
</dependencies>
<build>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-surefire-plugin</artifactId>
<configuration>
<!-- the tests use std out a lot so we dont want that in the console -->
<redirectTestOutputToFile>true</redirectTestOutputToFile>
<includes>
<include>**/*Test.java</include>
<include>**/*Test?.java</include>
<include>**/*TestSuite.java</include>
</includes>
</configuration>
</plugin>
</plugins>
</build>
<profiles>
<profile>
<id>prob-release</id>
<activation>
<activeByDefault>true</activeByDefault>
</activation>
<dependencies>
<dependency>
<groupId>de.prob</groupId>
<artifactId>de.prob.core.kernel</artifactId>
<version>2.0.0-milestone-13</version>
</dependency>
</dependencies>
</profile>
<profile>
<id>prob-debug</id>
<dependencies>
<dependency>
<groupId>de.prob</groupId>
<artifactId>de.prob.core.kernel</artifactId>
<version>2.0.0-milestone-13-SNAPSHOT</version>
</dependency>
</dependencies>
</profile>
</profiles>
</project>