MVN

org.overturetool.core : pog

Maven & Gradle

Nov 10, 2020
3 usages

The Proof Obligation Generator

<dependency>
    <groupId>org.overturetool.core</groupId>
    <artifactId>pog</artifactId>
    <version>3.0.2</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of org.overturetool.core : pog to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 3.0.2

All Versions

Choose a version of org.overturetool.core : pog to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
3.0.x
pog-3.0.2
pog-3.0.0
2.7.x
pog-2.7.4
pog-2.7.2
pog-2.7.0
2.6.x
pog-2.6.4
pog-2.6.2
pog-2.6.0
2.5.x
pog-2.5.6
pog-2.5.4
pog-2.5.2
pog-2.5.0
2.4.x
pog-2.4.8
pog-2.4.6
pog-2.4.4
pog-2.4.2
pog-2.4.0
2.3.x
pog-2.3.8
pog-2.3.6
pog-2.3.4
pog-2.3.2
pog-2.3.0
2.2.x
pog-2.2.8
pog-2.2.6
pog-2.2.2
pog-2.2.0
2.1.x
pog-2.1.6
pog-2.1.4
pog-2.1.2
pog-2.1.0
2.0.x
pog-2.0.8
pog-2.0.6
pog-2.0.4

How to add a dependency to Maven

Add the following org.overturetool.core : pog maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>org.overturetool.core</groupId>
    <artifactId>pog</artifactId>
    <version>3.0.2</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following org.overturetool.core : pog gradle dependency to your build.gradle file:

implementation 'org.overturetool.core:pog:3.0.2'

Gradle Kotlin DSL: Add the following org.overturetool.core : pog gradle kotlin dependency to your build.gradle.kts file:

implementation("org.overturetool.core:pog:3.0.2")

How to add a dependency to SBT Scala

SBT Scala: Add the following org.overturetool.core : pog sbt scala dependency to your build.sbt file:

libraryDependencies += "org.overturetool.core" % "pog" % "3.0.2"

Advertisement

Dependencies from Group

Nov 10, 2020
14 usages
ast
Nov 10, 2020
14 usages
Nov 10, 2020
10 usages
Nov 10, 2020
7 usages
44 stars
Nov 10, 2020
7 usages

Discover Dependencies

Feb 11, 2021
70 usages
Feb 11, 2021
19 usages
Feb 11, 2021
91 usages
Oct 17, 2022
33 usages
186 stars
Jun 16, 2015
12 usages
Jun 16, 2015
27 usages
Jun 16, 2015
374 stars
Apr 28, 2017