License |
License |
---|---|
Categories |
CategoriesDex General Purpose Libraries Utility |
GroupId | GroupIdedu.illinois |
ArtifactId | ArtifactIdnondex-core |
Last Version | Last Version1.1.2 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptionnondex-core
A tool for finding strong assumptions on APIs with non-deterministic specifications.
|
Filename | Size |
---|---|
nondex-core-1.1.2.pom | |
nondex-core-1.1.2.jar | 1 KB |
nondex-core-1.1.2-sources.jar | 197 KB |
Browse |
<!-- https://jarcasting.com/artifacts/edu.illinois/nondex-core/ -->
<dependency>
<groupId>edu.illinois</groupId>
<artifactId>nondex-core</artifactId>
<version>1.1.2</version>
</dependency>
// https://jarcasting.com/artifacts/edu.illinois/nondex-core/
implementation 'edu.illinois:nondex-core:1.1.2'
// https://jarcasting.com/artifacts/edu.illinois/nondex-core/
implementation ("edu.illinois:nondex-core:1.1.2")
'edu.illinois:nondex-core:jar:1.1.2'
<dependency org="edu.illinois" name="nondex-core" rev="1.1.2">
<artifact name="nondex-core" type="jar" />
</dependency>
@Grapes(
@Grab(group='edu.illinois', module='nondex-core', version='1.1.2')
)
libraryDependencies += "edu.illinois" % "nondex-core" % "1.1.2"
[edu.illinois/nondex-core "1.1.2"]
Group / Artifact | Type | Version |
---|---|---|
edu.illinois : nondex-common | jar | 1.1.2 |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.12 |