2P-Kt -- Module `Solve`

Resolution-agnostic API for logic solvers

Лицензия	Лицензия Apache-2.0
Категории	Категории Данные
Группа	Группа it.unibo.tuprolog
Идентификатор	Идентификатор solve-metadata
Последняя версия	Последняя версия 0.17.4
Дата	Дата 18 мая 2021 г.
Тип	Тип pom.sha512
Описание	Описание 2P-Kt -- Module `Solve` Resolution-agnostic API for logic solvers
Ссылка на сайт	Ссылка на сайт https://github.com/tuProlog/2p-kt
Система контроля версий	Система контроля версий https://github.com/tuProlog/2p-kt

Скачать solve-metadata

Имя Файла	Размер
solve-metadata-0.17.4.pom
solve-metadata-0.17.4-sources.jar	90 KB
solve-metadata-0.17.4-javadoc.jar	551 KB
Обзор

Зависимости

compile (5)

Идентификатор библиотеки	Тип	Версия
org.jetbrains.kotlin : kotlin-stdlib-common	jar	1.4.32
org.jetbrains.kotlin : kotlin-reflect	jar	1.4.32
it.unibo.tuprolog : core-metadata	jar	0.17.4
it.unibo.tuprolog : unify-metadata	jar	0.17.4
it.unibo.tuprolog : theory-metadata	jar	0.17.4

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

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

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

Версия
0.17.4 18 мая 2021 г.
0.17.3 18 мая 2021 г.
0.17.2-dev03+43981b51 17 мая 2021 г.
0.17.2 15 мая 2021 г.
0.17.1-dev18+089dd410 22 апр. 2021 г.
0.17.1-dev03+67bb5e23 1 апр. 2021 г.
0.17.1-dev1o+35e72985 15 мая 2021 г.
0.17.1-dev0z+70805b63 20 апр. 2021 г.
0.17.1-dev0w+54dd0dd0 19 апр. 2021 г.
0.17.1-dev0v+25724c0c 19 апр. 2021 г.
0.17.1 15 мар. 2021 г.
0.17.0 14 мар. 2021 г.
0.16.1-dev4z+7e0f0041 14 мар. 2021 г.
0.16.1-dev4u+b2f05e44 13 мар. 2021 г.
0.16.1-dev4o+a2fea905 13 мар. 2021 г.
0.16.1 19 янв. 2021 г.
0.16.0 17 янв. 2021 г.
0.15.2 17 дек. 2020 г.
0.15.0 7 дек. 2020 г.
0.14.11 27 окт. 2020 г.
0.13.0 24 сент. 2020 г.
0.12.1 17 сент. 2020 г.
0.12.0 16 сент. 2020 г.
0.11.5 12 сент. 2020 г.
0.11.4 11 сент. 2020 г.
0.11.3 10 сент. 2020 г.
0.11.2 31 авг. 2020 г.
0.11.1 7 июл. 2020 г.
0.11.0 2 июл. 2020 г.
0.10.2 13 июн. 2020 г.