2P-Kt -- Module `Dsl Solve`

Лицензия	Лицензия Apache-2.0
Категории	Категории Данные
Группа	Группа it.unibo.tuprolog
Идентификатор	Идентификатор dsl-solve-metadata
Последняя версия	Последняя версия 0.17.4
Дата	Дата 18 мая 2021 г.
Тип	Тип pom.sha512
Описание	Описание 2P-Kt -- Module `Dsl Solve` Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities
Ссылка на сайт	Ссылка на сайт https://github.com/tuProlog/2p-kt
Система контроля версий	Система контроля версий https://github.com/tuProlog/2p-kt

Скачать dsl-solve-metadata

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

Зависимости

compile (3)

Идентификатор библиотеки	Тип	Версия
org.jetbrains.kotlin : kotlin-stdlib-common	jar	1.4.32
it.unibo.tuprolog : dsl-theory-metadata	jar	0.17.4
it.unibo.tuprolog : solve-classic-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 г.