nondex-core

A tool for finding strong assumptions on APIs with non-deterministic specifications.

License

License

Categories

Categories

Dex General Purpose Libraries Utility
GroupId

GroupId

edu.illinois
ArtifactId

ArtifactId

nondex-core
Last Version

Last Version

1.1.2
Release Date

Release Date

Type

Type

jar
Description

Description

nondex-core
A tool for finding strong assumptions on APIs with non-deterministic specifications.

Download nondex-core

How to add to project

<!-- 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"]

Dependencies

compile (1)

Group / Artifact Type Version
edu.illinois : nondex-common jar 1.1.2

test (1)

Group / Artifact Type Version
junit : junit jar 4.12

Project Modules

There are no modules declared in this project.
edu.illinois

Versions

Version
1.1.2