не последняя версия
Последняя версия 0.20.9-dev03+3250bb16

2P-Kt -- Module `Solve` 0.18.1

Resolution-agnostic API for logic solvers

Лицензия

Лицензия

Группа

Группа

it.unibo.tuprolog
Идентификатор

Идентификатор

solve
Версия

Версия

0.18.1
Тип

Тип

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 0.18.1

Имя Файла Размер
solve-0.18.1.pom
solve-0.18.1-sources.jar 167 KB
Обзор

Зависимости

runtime (5)

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

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

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