Proof Utility Library

Лицензия	Лицензия The Apache Software License, Version 2.0
Группа	Группа org.liveontologies
Идентификатор	Идентификатор puli
Последняя версия	Последняя версия 0.1.0
Дата	Дата 11 окт. 2017 г.
Тип	Тип bundle
Описание	Описание Proof Utility Library A library for manipulating with proofs based on inference rules.
Ссылка на сайт	Ссылка на сайт https://github.com/liveontologies/puli
Организация-разработчик	Организация-разработчик Live Ontologies Project
Система контроля версий	Система контроля версий https://github.com/liveontologies/puli

Скачать puli

Имя Файла	Размер
puli-0.1.0.pom
puli-0.1.0.jar	173 KB
puli-0.1.0-sources.jar	111 KB
puli-0.1.0-javadoc.jar	424 KB
Обзор

Зависимости

compile (2)

Идентификатор библиотеки	Тип	Версия
com.google.guava : guava	jar	18.0
org.slf4j : slf4j-api	jar	1.7.12

test (2)

Идентификатор библиотеки	Тип	Версия
org.slf4j : slf4j-simple	jar	1.7.12
junit : junit	jar	4.11

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

Версии библиотеки

Версия
0.1.0 11 окт. 2017 г.