Last Version

2P-Kt, REPL Module 0.20.9-dev03+3250bb16

Customisable, command-line interface for logic solvers

License

License

GroupId

GroupId

it.unibo.tuprolog
ArtifactId

ArtifactId

repl
Version

Version

0.20.9-dev03+3250bb16
Type

Type

pom.sha512
Description

Description

2P-Kt, REPL Module
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 0.20.9-dev03+3250bb16

Dependencies

runtime (7)

Group / Artifact Type Version
org.jetbrains.kotlin : kotlin-stdlib-common jar 1.7.0
com.github.ajalt : clikt-multiplatform jar 2.8.0
it.unibo.tuprolog : core jar 0.20.9-dev03+3250bb16
it.unibo.tuprolog : oop-lib jar 0.20.9-dev03+3250bb16
it.unibo.tuprolog : io-lib jar 0.20.9-dev03+3250bb16
it.unibo.tuprolog : solve-classic jar 0.20.9-dev03+3250bb16
it.unibo.tuprolog : parser-theory jar 0.20.9-dev03+3250bb16

Project Modules

There are no modules declared in this project.