s

solve-jvm

Resolution-agnostic API for logic solvers
https://github.com/tuProlog/2p-kt
Apache-2.0
Jason Dellaluce Sofia Montebugnoli Enrico Siboni Giovanni Ciatto Andrea Giordano Silvia Lanzoni Paolo Verdini Lorenzo Rizzato Manuel Bonarrigo Davide Greco
agnostic logic resolution solvers
文件下载
文件名 操作
solve-jvm-0.31.0.jar 下载
solve-jvm-0.31.0.pom 下载
solve-jvm-0.31.0-sources.jar 下载
Apache Maven 
<dependency>
  <groupId>it.unibo.tuprolog</groupId>
  <artifactId>solve-jvm</artifactId>
  <version>0.31.0</version>
</dependency>
Gradle Groovy 
implementation 'it.unibo.tuprolog:solve-jvm:0.31.0'
Gradle Kotlin 
implementation("it.unibo.tuprolog:solve-jvm:0.31.0")
Scala SBT 
libraryDependencies += "it.unibo.tuprolog" % "solve-jvm" % "0.31.0"
Groovy Grape 
@Grapes(
  @Grab(group='it.unibo.tuprolog', module='solve-jvm', version='0.31.0')
)
Apache Ivy 
<dependency org="it.unibo.tuprolog" name="solve-jvm" rev="0.31.0" />
Leiningen 
[it.unibo.tuprolog/solve-jvm "0.31.0"]
Apache Buildr 
'it.unibo.tuprolog:solve-jvm:jar:0.31.0'
本项目依赖

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.0

|-- it.unibo.tuprolog:unify-jvm:0.31.0

|-- it.unibo.tuprolog:theory-jvm:0.31.0

runtime

|-- org.jetbrains.kotlin:kotlin-bom:1.8.10