is not current version

org.whiley:wytp 0.5.2

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.5.2
Type	Type jar

Download wytp 0.5.2

Filename	Size
wytp-0.5.2.pom
wytp-0.5.2.jar	235 KB
wytp-0.5.2-sources.jar	90 KB
wytp-0.5.2-javadoc.jar	2 MB
Browse

Apache Maven

<!-- https://jarcasting.com/artifacts/org.whiley/wytp/ -->
<dependency>
    <groupId>org.whiley</groupId>
    <artifactId>wytp</artifactId>
    <version>0.5.2</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.whiley/wytp/
implementation 'org.whiley:wytp:0.5.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.whiley/wytp/
implementation ("org.whiley:wytp:0.5.2")

Apache Buildr

'org.whiley:wytp:jar:0.5.2'

Apache Ivy

<dependency org="org.whiley" name="wytp" rev="0.5.2">
  <artifact name="wytp" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.whiley', module='wytp', version='0.5.2')
)

Scala SBT

libraryDependencies += "org.whiley" % "wytp" % "0.5.2"

Leiningen

[org.whiley/wytp "0.5.2"]

org.whiley:wytp 0.5.2

GroupId

ArtifactId

Version

Type

Download wytp 0.5.2