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

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

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

Лицензия

Лицензия

Категории

Категории

Данные
Группа

Группа

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

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

test-solve-metadata
Версия

Версия

0.17.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-metadata 0.17.4

Зависимости

compile (5)

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

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

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