MVN

edu.psu.cse.siis : coal

Maven & Gradle

Sep 17, 2015
1 usages
6 stars

The COAL Solver · The COAL constant propagation solver for complex object types.

<dependency>
    <groupId>edu.psu.cse.siis</groupId>
    <artifactId>coal</artifactId>
    <version>0.1.7</version>
</dependency>
Copy
pom.xml
Table Of Contents

Latest Version

Choose a version of edu.psu.cse.siis : coal to add to Maven or Gradle - Latest Versions:

  • Latest Stable: 0.1.7

All Versions

Choose a version of edu.psu.cse.siis : coal to add to Maven or Gradle - All Versions:

Version Vulnerabilities Updated
0.1.x
coal-0.1.7
coal-0.1.6
coal-0.1.5
coal-0.1.4
coal-0.1.3

How to add a dependency to Maven

Add the following edu.psu.cse.siis : coal maven dependency to the pom.xml file with your favorite IDE (IntelliJ / Eclipse / Netbeans):

<dependency>
    <groupId>edu.psu.cse.siis</groupId>
    <artifactId>coal</artifactId>
    <version>0.1.7</version>
</dependency>

How to add a dependency to Gradle

Gradle Groovy DSL: Add the following edu.psu.cse.siis : coal gradle dependency to your build.gradle file:

implementation 'edu.psu.cse.siis:coal:0.1.7'

Gradle Kotlin DSL: Add the following edu.psu.cse.siis : coal gradle kotlin dependency to your build.gradle.kts file:

implementation("edu.psu.cse.siis:coal:0.1.7")

How to add a dependency to SBT Scala

SBT Scala: Add the following edu.psu.cse.siis : coal sbt scala dependency to your build.sbt file:

libraryDependencies += "edu.psu.cse.siis" % "coal" % "0.1.7"

Advertisement

Dependencies from Group

Sep 17, 2015
1 usages
0 stars
Sep 17, 2015
1 usages
6 stars
ic3
Sep 17, 2015
26 stars

Discover Dependencies

Sep 06, 2022
1 usages
37 stars
Feb 07, 2019
2 usages
3 stars
Jun 11, 2018
1 usages
98 stars
May 12, 2015
1 usages
0 stars
Jun 06, 2023
1 usages
13 stars
May 20, 2015
1 usages
2 stars
May 27, 2015
1 usages
2 stars
May 27, 2015
1 usages
2 stars
Sep 04, 2018
1 usages
74 stars
Jun 01, 2015
3 usages
0 stars