f

full

Umbrella package, depending on all 2P-Kt
https://github.com/tuProlog/2p-kt
Apache-2.0
Jason Dellaluce Sofia Montebugnoli Enrico Siboni Giovanni Ciatto Silvia Lanzoni Paolo Verdini Lorenzo Rizzato Manuel Bonarrigo Davide Greco
package depending umbrella
文件下载
文件名 操作
full-0.20.9-dev02+01edbfee.jar 下载
full-0.20.9-dev02+01edbfee.pom 下载
full-0.20.9-dev02+01edbfee-sources.jar 下载
Apache Maven 
<dependency>
  <groupId>it.unibo.tuprolog</groupId>
  <artifactId>full</artifactId>
  <version>0.20.9-dev02+01edbfee</version>
</dependency>
Gradle Groovy 
implementation 'it.unibo.tuprolog:full:0.20.9-dev02+01edbfee'
Gradle Kotlin 
implementation("it.unibo.tuprolog:full:0.20.9-dev02+01edbfee")
Scala SBT 
libraryDependencies += "it.unibo.tuprolog" % "full" % "0.20.9-dev02+01edbfee"
Groovy Grape 
@Grapes(
  @Grab(group='it.unibo.tuprolog', module='full', version='0.20.9-dev02+01edbfee')
)
Apache Ivy 
<dependency org="it.unibo.tuprolog" name="full" rev="0.20.9-dev02+01edbfee" />
Leiningen 
[it.unibo.tuprolog/full "0.20.9-dev02+01edbfee"]
Apache Buildr 
'it.unibo.tuprolog:full:jar:0.20.9-dev02+01edbfee'
本项目依赖

runtime

|-- org.jetbrains.kotlin:kotlin-stdlib-common:1.7.0

|-- it.unibo.tuprolog:bdd:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:core:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:dsl-core:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:dsl-solve:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:dsl-theory:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:dsl-unify:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:io-lib:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:oop-lib:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:parser-core:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:parser-theory:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:repl:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:serialize-core:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:serialize-theory:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:solve:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:solve-classic:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:solve-concurrent:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:solve-plp:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:solve-problog:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:solve-streams:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:theory:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:unify:0.20.9-dev02+01edbfee

|-- it.unibo.tuprolog:utils:0.20.9-dev02+01edbfee