How to add a dependency to Maven
Add the following org.key-project.ips4o : ips4o-verify maven dependency to the pom.xml
file with your favorite IDE (IntelliJ / Eclipse / Netbeans):
<dependency>
<groupId>org.key-project.ips4o</groupId>
<artifactId>ips4o-verify</artifactId>
<version>1.0</version>
</dependency>
How to add a dependency to Gradle
Gradle Groovy DSL: Add the following org.key-project.ips4o : ips4o-verify gradle dependency to your build.gradle
file:
implementation 'org.key-project.ips4o:ips4o-verify:1.0'
Gradle Kotlin DSL: Add the following org.key-project.ips4o : ips4o-verify gradle kotlin dependency to your build.gradle.kts
file:
implementation("org.key-project.ips4o:ips4o-verify:1.0")
How to add a dependency to SBT Scala
SBT Scala: Add the following org.key-project.ips4o : ips4o-verify sbt scala dependency to your build.sbt
file:
libraryDependencies += "org.key-project.ips4o" % "ips4o-verify" % "1.0"