JarCastingWhiley Theorem Prover (WyTP)
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.
|
| Ссылка на сайт |
Ссылка на сайт |
| Система контроля версий |
Система контроля версий |
Скачать wytp
| Имя Файла | Размер |
|---|---|
| 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 |
| Обзор |
Как подключить последнюю версию
<!-- 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 |
Модули Проекта
Данный проект не имеет модулей.
The Whiley Programming Language
Devoted to the development of Whiley, an open source programming language.