Whiley Theorem Prover (WyTP)

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
Last Version	0.7.0
Release Date	Oct 8, 2020
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

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

How to add to project

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.

The Whiley Programming Language

Devoted to the development of Whiley, an open source programming language.

Versions

Version
0.7.0 Oct 8, 2020
0.6.18 Jul 4, 2019
0.6.17 May 8, 2019
0.6.16 Apr 1, 2019
0.6.15 Feb 10, 2019
0.6.14 Mar 29, 2018
0.6.13 Mar 28, 2018
0.6.12 Oct 27, 2017
0.6.11 Oct 13, 2017
0.6.10 Oct 9, 2017
0.6.9 Sep 24, 2017
0.6.8 Sep 18, 2017
0.6.7 Sep 13, 2017
0.6.6 Sep 13, 2017
0.6.5 Aug 16, 2017
0.6.4.1 Sep 19, 2017
0.6.4b Sep 19, 2017
0.6.4 Aug 1, 2017
0.6.3 Jul 29, 2017
0.6.2 Jul 16, 2017
0.6.1 Jun 2, 2017
0.6.0 May 28, 2017
0.5.8 May 18, 2017
0.5.7 May 17, 2017
0.5.6 May 7, 2017
0.5.5 Apr 19, 2017
0.5.4 Apr 11, 2017
0.5.3 Mar 19, 2017
0.5.2 Mar 16, 2017
0.5.1 Mar 13, 2017
0.5.0 Feb 23, 2017
0.4.0 Sep 13, 2016