| License |
License |
|---|---|
| GroupId | GroupIdit.unibo.tuprolog |
| ArtifactId | ArtifactIdtest-solve |
| Last Version | Last Version0.20.4 |
| Release Date | Release Date |
| Type | Typepom |
| Description |
Description2P-Kt -- Module `Test Solve`
Common testing facilities for 2P-Kt-based logic solvers
|
| Project URL |
Project URL |
| Source Code Management |
Source Code Management |
| Filename | Size |
|---|---|
| test-solve-0.20.4.pom | |
| Browse |
<!-- 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"]
| 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 |