2P-Kt -- Module `Test Solve`

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

License

License

Categories

Categories

Data
GroupId

GroupId

it.unibo.tuprolog
ArtifactId

ArtifactId

test-solve-metadata
Last Version

Last Version

0.17.4
Release Date

Release Date

Type

Type

pom.sha512
Description

Description

2P-Kt -- Module `Test Solve`
Common testing facilities for 2P-Kt-based logic solvers
Project URL

Project URL

https://github.com/tuProlog/2p-kt
Source Code Management

Source Code Management

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

Download test-solve-metadata

Dependencies

compile (5)

Group / Artifact Type Version
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

Project Modules

There are no modules declared in this project.

Versions

Version
0.17.4
0.17.3
0.17.2-dev03+43981b51
0.17.2
0.17.1-dev18+089dd410
0.17.1-dev03+67bb5e23
0.17.1-dev1o+35e72985
0.17.1-dev0z+70805b63
0.17.1-dev0w+54dd0dd0
0.17.1-dev0v+25724c0c
0.17.1
0.17.0
0.16.1-dev4z+7e0f0041
0.16.1-dev4u+b2f05e44
0.16.1-dev4o+a2fea905
0.16.1
0.16.0
0.15.2
0.15.0
0.14.11
0.13.0
0.12.1
0.12.0
0.11.5
0.11.4
0.11.3
0.11.2
0.11.1
0.11.0
0.10.2