is not current version
Last Version 0.20.9-dev03+3250bb16

2P-Kt -- Module `Repl` 0.18.2

Customisable, command-line interface for logic solvers

License

License

GroupId

GroupId

it.unibo.tuprolog
ArtifactId

ArtifactId

repl-jvm
Version

Version

0.18.2
Type

Type

pom.sha512
Description

Description

2P-Kt -- Module `Repl`
Customisable, command-line interface for 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 repl-jvm 0.18.2

Dependencies

compile (8)

Group / Artifact Type Version
org.jetbrains.kotlin : kotlin-stdlib-jdk8 jar 1.5.10
org.jetbrains.kotlin : kotlin-stdlib-common jar 1.5.10
com.github.ajalt : clikt jar 2.8.0
it.unibo.tuprolog : core-jvm jar 0.18.2
it.unibo.tuprolog : oop-lib-jvm jar 0.18.2
it.unibo.tuprolog : io-lib-jvm jar 0.18.2
it.unibo.tuprolog : solve-classic-jvm jar 0.18.2
it.unibo.tuprolog : parser-theory-jvm jar 0.18.2

Project Modules

There are no modules declared in this project.