<dependency>
<groupId>it.unibo.tuprolog</groupId>
<artifactId>solve-jvm</artifactId>
<version>0.31.1-dev02+0cd8a1ae6</version>
</dependency>
@Grapes(
@Grab(group='it.unibo.tuprolog', module='solve-jvm', version='0.31.1-dev02+0cd8a1ae6')
)
compile
|-- org.jetbrains.kotlin:kotlin-stdlib-jdk8:1.8.10
|-- org.jetbrains.kotlin:kotlin-stdlib-common:1.8.10
|-- org.jetbrains.kotlin:kotlin-reflect:1.8.10
|-- it.unibo.tuprolog:core-jvm:0.31.1-dev02+0cd8a1ae6
|-- it.unibo.tuprolog:unify-jvm:0.31.1-dev02+0cd8a1ae6
|-- it.unibo.tuprolog:theory-jvm:0.31.1-dev02+0cd8a1ae6
runtime