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

it.unibo.tuprolog:test-solve 0.17.4-dev1q+a89f03d9

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

Скачать test-solve 0.17.4-dev1q+a89f03d9

Имя Файла	Размер
test-solve-0.17.4-dev1q+a89f03d9.pom
test-solve-0.17.4-dev1q+a89f03d9-sources.jar	152 KB
Обзор