JarCasting
JarCasting JarCasting
Последняя версия

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.

Лицензия

Лицензия
Группа

Группа

org.whiley
Идентификатор

Идентификатор

wytp
Версия

Версия

0.7.0
Тип

Тип

jar
Описание

Описание

Whiley Theorem Prover (WyTP)
This provides a simple implementation of an automated theorem prover, designed specifically for use with the Whiley Compiler.
Ссылка на сайт

Ссылка на сайт

http://whiley.org
Система контроля версий

Система контроля версий

https://github.com/Whiley/WhileyCompiler

Скачать wytp 0.7.0

Имя Файла Размер
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
Обзор 

<!-- 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"]

Зависимости

compile (3)

Идентификатор библиотеки Тип Версия
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)

Идентификатор библиотеки Тип Версия
junit : junit jar 4.12

Модули Проекта

Данный проект не имеет модулей.