princess-parser_2.12
Used in
components
- OverviewOverview
- VersionsVersions
- DependentsDependents
- DependenciesDependencies
<dependency>
<groupId>io.github.uuverifiers</groupId>
<artifactId>princess-parser_2.12</artifactId>
<version>2023-04-07</version>
</dependency><?xml version='1.0' encoding='UTF-8'?>
<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://maven.apache.org/POM/4.0.0">
<modelVersion>4.0.0</modelVersion>
<groupId>io.github.uuverifiers</groupId>
<artifactId>princess-parser_2.12</artifactId>
<packaging>jar</packaging>
<description>Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.</description>
<url>https://philipp.ruemmer.org/princess.shtml</url>
<version>2023-04-07</version>
<licenses>
<license>
<name>BSD-3-Clause</name>
<url>https://opensource.org/licenses/BSD-3-Clause</url>
<distribution>repo</distribution>
</license>
</licenses>
<name>Princess-parser</name>
<organization>
<name>io.github.uuverifiers</name>
<url>https://philipp.ruemmer.org/princess.shtml</url>
</organization>
<scm>
<url>https://github.com/uuverifiers/princess</url>
<connection>scm:git@github.com/uuverifiers/princess.git</connection>
</scm>
<developers>
<developer>
<id>p_ruemmer</id>
<name>Philipp Ruemmer</name>
<email>ph_r@gmx.net</email>
<url>https://philipp.ruemmer.org</url>
</developer>
<developer>
<id>zafer.esen</id>
<name>Zafer Esen</name>
<email>zafer.esen@it.uu.se</email>
<url>https://katalog.uu.se/empinfo/?id=N18-2424</url>
</developer>
<developer>
<id>angelo.brillout</id>
<name>Angelo Brillout</name>
<email>angelo.brillout@gmail.com</email>
<url>https://ch.linkedin.com/in/angelo-brillout-2942bb7</url>
</developer>
<developer>
<id>peter.backeman</id>
<name>Peter Backeman</name>
<email>peter@backeman.se</email>
<url>http://www.es.mdh.se/staff/4393-Peter__Backeman</url>
</developer>
<developer>
<id>peter.baumgartner</id>
<name>Peter Baumgartner</name>
<email>Peter.Baumgartner@data61.csiro.au</email>
<url>http://users.cecs.anu.edu.au/~baumgart/</url>
</developer>
<developer>
<id>amanda.stjerna</id>
<name>Amanda Stjerna</name>
<email>mail@amandastjerna.se</email>
<url>https://amandastjerna.se/</url>
</developer>
</developers>
<dependencies>
<dependency>
<groupId>org.scala-lang</groupId>
<artifactId>scala-library</artifactId>
<version>2.12.17</version>
</dependency>
</dependencies>
</project>
Sonatype Developer Team makes coding faster and safer, and provides real-time guidance to developers to make your job easier.
Try Developer Team Edition For Free