JarCasting
JarCasting JarCasting
is not current version
Last Version 0.7.0 →

org.whiley:wytp 0.6.4

This provides a simple implementation of an automated theorem prover, designed specifically for use with the Whiley Compiler.

GroupId

GroupId

org.whiley
ArtifactId

ArtifactId

wytp
Version

Version

0.6.4
Type

Type

jar

Download wytp 0.6.4

Filename Size
wytp-0.6.4.pom
wytp-0.6.4.jar 416 KB
wytp-0.6.4-sources.jar 184 KB
wytp-0.6.4-javadoc.jar 1 MB
Browse 

<!-- https://jarcasting.com/artifacts/org.whiley/wytp/ -->
<dependency>
    <groupId>org.whiley</groupId>
    <artifactId>wytp</artifactId>
    <version>0.6.4</version>
</dependency>
// https://jarcasting.com/artifacts/org.whiley/wytp/
implementation 'org.whiley:wytp:0.6.4'
// https://jarcasting.com/artifacts/org.whiley/wytp/
implementation ("org.whiley:wytp:0.6.4")
'org.whiley:wytp:jar:0.6.4'
<dependency org="org.whiley" name="wytp" rev="0.6.4">
  <artifact name="wytp" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.whiley', module='wytp', version='0.6.4')
)
libraryDependencies += "org.whiley" % "wytp" % "0.6.4"
[org.whiley/wytp "0.6.4"]