Files download
File Operation
dsl-solve-jvm-0.31.0.jar download
dsl-solve-jvm-0.31.0.pom download
dsl-solve-jvm-0.31.0-sources.jar download
Apache Maven
<dependency>
  <groupId>it.unibo.tuprolog</groupId>
  <artifactId>dsl-solve-jvm</artifactId>
  <version>0.31.0</version>
</dependency>
Gradle Groovy
implementation 'it.unibo.tuprolog:dsl-solve-jvm:0.31.0'
Gradle Kotlin
implementation("it.unibo.tuprolog:dsl-solve-jvm:0.31.0")
Scala SBT
libraryDependencies += "it.unibo.tuprolog" % "dsl-solve-jvm" % "0.31.0"
Groovy Grape
@Grapes(
  @Grab(group='it.unibo.tuprolog', module='dsl-solve-jvm', version='0.31.0')
)
Apache Ivy
<dependency org="it.unibo.tuprolog" name="dsl-solve-jvm" rev="0.31.0" />
Leiningen
[it.unibo.tuprolog/dsl-solve-jvm "0.31.0"]
Apache Buildr
'it.unibo.tuprolog:dsl-solve-jvm:jar:0.31.0'