2P-Kt -- Module `Solve Plp` solve-plp

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-11-05 23:24

dependencies

Group	Artifact	Version
org.jetbrains.kotlin	kotlin-stdlib-common	1.5.31
it.unibo.tuprolog	solve	0.20.2-dev07+51892bb0
it.unibo.tuprolog	bdd	0.20.2-dev07+51892bb0

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