Последняя версия

2P-Kt -- Module `Test Solve` 0.20.4

Common testing facilities for 2P-Kt-based logic solvers

Лицензия

Лицензия

Группа

Группа

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

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

test-solve-jvm
Версия

Версия

0.20.4
Тип

Тип

pom.sha512
Описание

Описание

2P-Kt -- Module `Test Solve`
Common testing facilities for 2P-Kt-based logic solvers
Ссылка на сайт

Ссылка на сайт

https://github.com/tuProlog/2p-kt
Система контроля версий

Система контроля версий

https://github.com/tuProlog/2p-kt

Скачать test-solve-jvm 0.20.4

Зависимости

compile (6)

Идентификатор библиотеки Тип Версия
org.jetbrains.kotlin : kotlin-stdlib-jdk8 jar 1.5.31
org.jetbrains.kotlin : kotlin-stdlib-common jar 1.5.31
it.unibo.tuprolog : solve-jvm jar 0.20.4
it.unibo.tuprolog : dsl-theory-jvm jar 0.20.4
org.jetbrains.kotlin : kotlin-test-common jar 1.5.31
org.jetbrains.kotlin : kotlin-test-annotations-common jar 1.5.31

runtime (1)

Идентификатор библиотеки Тип Версия
org.jetbrains.kotlin : kotlin-test-junit jar 1.5.31

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

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