License |
License |
---|---|
GroupId | GroupIdorg.whiley |
ArtifactId | ArtifactIdwytp |
Last Version | Last Version0.7.0 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionWhiley Theorem Prover (WyTP)
This provides a simple implementation of an automated theorem
prover, designed specifically for use with the Whiley Compiler.
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Filename | Size |
---|---|
wytp-0.7.0.pom | |
wytp-0.7.0.jar | 364 KB |
wytp-0.7.0-sources.jar | 178 KB |
wytp-0.7.0-javadoc.jar | 1 MB |
Browse |
<!-- https://jarcasting.com/artifacts/org.whiley/wytp/ -->
<dependency>
<groupId>org.whiley</groupId>
<artifactId>wytp</artifactId>
<version>0.7.0</version>
</dependency>
// https://jarcasting.com/artifacts/org.whiley/wytp/
implementation 'org.whiley:wytp:0.7.0'
// https://jarcasting.com/artifacts/org.whiley/wytp/
implementation ("org.whiley:wytp:0.7.0")
'org.whiley:wytp:jar:0.7.0'
<dependency org="org.whiley" name="wytp" rev="0.7.0">
<artifact name="wytp" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.whiley', module='wytp', version='0.7.0')
)
libraryDependencies += "org.whiley" % "wytp" % "0.7.0"
[org.whiley/wytp "0.7.0"]
Group / Artifact | Type | Version |
---|---|---|
org.whiley : wycc | jar | [0.8.0,0.9.0) |
org.whiley : wycli | jar | [0.8.0,0.9.0) |
ant : ant | jar | 1.7.0 |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.12 |