2P-Kt -- Module `Test Solve`

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

License

License

GroupId

GroupId

it.unibo.tuprolog
ArtifactId

ArtifactId

test-solve
Last Version

Last Version

0.20.4
Release Date

Release Date

Type

Type

pom
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

How to add to project

<!-- https://jarcasting.com/artifacts/it.unibo.tuprolog/test-solve/ -->
<dependency>
    <groupId>it.unibo.tuprolog</groupId>
    <artifactId>test-solve</artifactId>
    <version>0.20.4</version>
    <type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/it.unibo.tuprolog/test-solve/
implementation 'it.unibo.tuprolog:test-solve:0.20.4'
// https://jarcasting.com/artifacts/it.unibo.tuprolog/test-solve/
implementation ("it.unibo.tuprolog:test-solve:0.20.4")
'it.unibo.tuprolog:test-solve:pom:0.20.4'
<dependency org="it.unibo.tuprolog" name="test-solve" rev="0.20.4">
  <artifact name="test-solve" type="pom" />
</dependency>
@Grapes(
@Grab(group='it.unibo.tuprolog', module='test-solve', version='0.20.4')
)
libraryDependencies += "it.unibo.tuprolog" % "test-solve" % "0.20.4"
[it.unibo.tuprolog/test-solve "0.20.4"]

Dependencies

runtime (5)

Group / Artifact Type Version
org.jetbrains.kotlin : kotlin-stdlib-common jar 1.5.31
it.unibo.tuprolog : solve jar 0.20.4
it.unibo.tuprolog : dsl-theory 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

Project Modules

There are no modules declared in this project.

Versions

Version
0.20.4
0.20.3
0.20.2-dev07+51892bb0
0.20.2
0.20.1
0.20.0
0.19.0-dev2h+f6956cce
0.19.0
0.18.2-dev11+a1bd2a91
0.18.2-dev0z+13957e4e
0.18.2
0.18.1-dev05+178b1e2d
0.18.1
0.18.0
0.17.4-dev09+485a46b2
0.17.4-dev1q+a89f03d9
0.17.4-dev1d+a1160f82
0.17.4-dev0j+7e9a6f28
0.17.4
0.17.3-dev08+7cca0c42
0.17.3-dev0a+b6708d58
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