2P-Kt, Solve-Classic Module

Лицензия	Лицензия Apache-2.0
Группа	Группа it.unibo.tuprolog
Идентификатор	Идентификатор solve-classic-jvm
Последняя версия	Последняя версия 0.20.9-dev03+3250bb16
Дата	Дата 20 июн. 2022 г.
Тип	Тип pom.sha512
Описание	Описание 2P-Kt, Solve-Classic Module Stable, state-machine-based implementation of Prolog's SLDNF resolution principle
Ссылка на сайт	Ссылка на сайт https://github.com/tuProlog/2p-kt
Система контроля версий	Система контроля версий https://github.com/tuProlog/2p-kt

Скачать solve-classic-jvm

Имя Файла	Размер
solve-classic-jvm-0.20.9-dev03+3250bb16.pom
solve-classic-jvm-0.20.9-dev03+3250bb16-sources.jar	21 KB
solve-classic-jvm-0.20.9-dev03+3250bb16-javadoc.jar	88 KB
Обзор

Зависимости

compile (3)

Идентификатор библиотеки	Тип	Версия
org.jetbrains.kotlin : kotlin-stdlib-jdk8	jar	1.7.0
org.jetbrains.kotlin : kotlin-stdlib-common	jar	1.7.0
it.unibo.tuprolog : solve-jvm	jar	0.20.9-dev03+3250bb16

runtime (1)

Идентификатор библиотеки	Тип	Версия
it.unibo.tuprolog : dsl-theory-jvm	jar	0.20.9-dev03+3250bb16

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

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

Версия
0.20.9-dev03+3250bb16 20 июн. 2022 г.
0.20.9-dev02+01edbfee 20 июн. 2022 г.
0.20.9-dev01+ada92962 16 июн. 2022 г.
0.20.9-dev0a+8e9a240b 22 июн. 2022 г.
0.20.9 14 июн. 2022 г.
0.20.7 2 июн. 2022 г.
0.20.4 6 нояб. 2021 г.
0.20.3 5 нояб. 2021 г.
0.20.2-dev07+51892bb0 5 нояб. 2021 г.
0.20.2 18 окт. 2021 г.
0.20.1 6 сент. 2021 г.
0.20.0 30 авг. 2021 г.
0.19.0-dev2h+f6956cce 27 авг. 2021 г.
0.19.0 9 авг. 2021 г.
0.18.2-dev11+a1bd2a91 9 авг. 2021 г.
0.18.2-dev0z+13957e4e 6 авг. 2021 г.
0.18.2 15 июл. 2021 г.
0.18.1-dev05+178b1e2d 14 июл. 2021 г.
0.18.1 28 июн. 2021 г.
0.18.0 28 июн. 2021 г.
0.17.4-dev09+485a46b2 15 июн. 2021 г.
0.17.4-dev1q+a89f03d9 25 июн. 2021 г.
0.17.4-dev1d+a1160f82 21 июн. 2021 г.
0.17.4-dev0j+7e9a6f28 16 июн. 2021 г.
0.17.4 18 мая 2021 г.
0.17.3-dev08+7cca0c42 15 июн. 2021 г.
0.17.3-dev0a+b6708d58 15 июн. 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 г.