Description

<dependency>
    <groupId>de.uni-freiburg.informatik.ultimate</groupId>
    <artifactId>smtinterpol</artifactId>
    <version>2.5-1388-ga5a4ab0c</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/xsd/maven-4.0.0.xsd">
    <modelVersion>4.0.0</modelVersion>

    <groupId>de.uni-freiburg.informatik.ultimate</groupId>
    <artifactId>smtinterpol</artifactId>
    <version>2.5-1388-ga5a4ab0c</version>
    <packaging>jar</packaging>
	
    <name>SMTInterpol</name>
    <description>SMTInterpol is an interpolating SMT solver</description>
    <url>https://ultimate.informatik.uni-freiburg.de/smtinterpol/</url>

    <licenses>
        <license>
            <name>GNU LESSER GENERAL PUBLIC LICENSE</name>
            <url>http://www.gnu.org/licenses/lgpl-3.0.en.html</url>
        </license>
    </licenses>

    <organization>
        <name>Ultimate</name>
        <url>https://ultimate.informatik.uni-freiburg.de</url>
    </organization>

    <scm>
        <connection>scm:git:https://github.com/ultimate-pa/smtinterpol.git</connection>
        <developerConnection>scm:git:git@github.com:ultimate-pa/smtinterpol.git</developerConnection>
        <url>https://github.com/ultimate-pa/smtinterpol</url>
    </scm>

    <developers>
        <developer>
            <name>Elisabeth Henkel</name>
            <email>henkele@informatik.uni-freiburg.de</email>
        </developer>
        <developer>
            <name>Jochen Hoenicke</name>
            <email>hoenicke@informatik.uni-freiburg.de</email>
        </developer>
        <developer>
            <name>Tanja Schindler</name>
            <email>schindle@informatik.uni-freiburg.de</email>
        </developer>
    </developers>
</project>