2P-Kt -- Module `2P-Kt` 2p

Group	it.unibo.tuprolog
描述	Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android
Packaging
Size
文件	pom jar
网址	https://github.com/tuProlog/2p-kt
发布时间	2021-10-18 17:32

dependencies

Group	Artifact	Version
org.jetbrains.kotlin	kotlin-stdlib-common	1.5.31
it.unibo.tuprolog	bdd	0.20.2
it.unibo.tuprolog	core	0.20.2
it.unibo.tuprolog	dsl-core	0.20.2
it.unibo.tuprolog	dsl-solve	0.20.2
it.unibo.tuprolog	dsl-theory	0.20.2
it.unibo.tuprolog	dsl-unify	0.20.2
it.unibo.tuprolog	io-lib	0.20.2
it.unibo.tuprolog	oop-lib	0.20.2
it.unibo.tuprolog	parser-core	0.20.2
it.unibo.tuprolog	parser-theory	0.20.2
it.unibo.tuprolog	repl	0.20.2
it.unibo.tuprolog	serialize-core	0.20.2
it.unibo.tuprolog	serialize-theory	0.20.2
it.unibo.tuprolog	solve	0.20.2
it.unibo.tuprolog	solve-classic	0.20.2
it.unibo.tuprolog	solve-plp	0.20.2
it.unibo.tuprolog	solve-problog	0.20.2
it.unibo.tuprolog	solve-streams	0.20.2
it.unibo.tuprolog	theory	0.20.2
it.unibo.tuprolog	unify	0.20.2
it.unibo.tuprolog	utils	0.20.2

developers

	Giovanni Ciatto
	Enrico Siboni
	Paolo Verdini
	Manuel Bonarrigo
	Sofia Montebugnoli
	Davide Greco
	Silvia Lanzoni
	Lorenzo Rizzato
	Jason Dellaluce

licenses

Apache-2.0

https://www.apache.org/licenses/LICENSE-2.0