MVN

io.github.uuverifiers : princess-smt-parser_2.13

Maven & Gradle

Apr 04, 2023
1 usages
4 stars

Princess-smt-parser · Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

<dependency>
    <groupId>io.github.uuverifiers</groupId>
    <artifactId>princess-smt-parser_2.13</artifactId>
    <version>2023-04-07</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of io.github.uuverifiers : princess-smt-parser_2.13 to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 2023-04-07

All Versions

Choose a version of io.github.uuverifiers : princess-smt-parser_2.13 to add to Maven or Gradle - All Versions:

  • Version Updated
  • princess-smt-parser_2.13-2023-04-07

    Apr 04, 2023
  • princess-smt-parser_2.13-2022-11-03

    Nov 04, 2022
  • princess-smt-parser_2.13-2022-07-01

    Jul 01, 2022
  • princess-smt-parser_2.13-2022-03-16

    Mar 16, 2022
  • princess-smt-parser_2.13-2021-11-15

    Nov 15, 2021
  • princess-smt-parser_2.13-2021-08-12

    Aug 12, 2021
  • princess-smt-parser_2.13-2021-06-28

    Jun 28, 2021
  • princess-smt-parser_2.13-2021-05-10

    May 10, 2021
  • princess-smt-parser_2.13-2021-04-09

    Apr 12, 2021

How to add a dependency to Maven

Add the following io.github.uuverifiers : princess-smt-parser_2.13 maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>io.github.uuverifiers</groupId>
    <artifactId>princess-smt-parser_2.13</artifactId>
    <version>2023-04-07</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following io.github.uuverifiers : princess-smt-parser_2.13 gradle dependency to your build.gradle file:

implementation 'io.github.uuverifiers:princess-smt-parser_2.13:2023-04-07'

Gradle Kotlin DSL: Add the following io.github.uuverifiers : princess-smt-parser_2.13 gradle kotlin dependency to your build.gradle.kts file:

implementation("io.github.uuverifiers:princess-smt-parser_2.13:2023-04-07")

How to add a dependency to SBT Scala

SBT Scala: Add the following io.github.uuverifiers : princess-smt-parser_2.13 sbt scala dependency to your build.sbt file:

libraryDependencies += "io.github.uuverifiers" % "princess-smt-parser_2.13" % "2023-04-07"

Advertisement

Dependencies from Group

Apr 04, 2023
3 usages
4 stars
Apr 04, 2023
1 usages
4 stars
Apr 04, 2023
1 usages
4 stars
Apr 04, 2023
1 usages
4 stars
Apr 04, 2023
1 usages
4 stars

Discover Dependencies

May 09, 2023
6 usages
2 stars
Feb 08, 2023
2 usages
115 stars
Feb 20, 2023
1 usages
1k stars
Aug 19, 2022
21 usages
1.6k stars
May 23, 2022
4 usages
2 stars
Jul 12, 2013
2 usages
Apr 28, 2023
4 usages
5.6k stars
May 23, 2023
12 usages
85 stars
image

Maven Repository

Search Maven dependencies with Maven Repository Chrome Extension

Add to Chrome