Whiley Theorem Prover (WyTP) 0.7.0

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

License	Apache License, Version 2.0
GroupId	org.whiley
ArtifactId	wytp
Version	0.7.0
Type	jar
Description	Whiley Theorem Prover (WyTP) This provides a simple implementation of an automated theorem prover, designed specifically for use with the Whiley Compiler.
Project URL	http://whiley.org
Source Code Management	https://github.com/Whiley/WhileyCompiler

Download wytp 0.7.0

Filename	Size
wytp-0.7.0.pom
wytp-0.7.0.jar	365 KB
wytp-0.7.0-sources.jar	175 KB
wytp-0.7.0-javadoc.jar	1 MB

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'org.whiley:wytp:jar:0.7.0'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[org.whiley/wytp "0.7.0"]

Dependencies

compile (3)

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

test (1)

Group / Artifact	Type	Version
junit : junit	jar	4.12

Project Modules

There are no modules declared in this project.