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

Group	it.unibo.tuprolog
描述	Resolution-agnostic API for probabilistic logic solvers
Packaging
Size
文件	pom jar
网址	https://github.com/tuProlog/2p-kt
发布时间	2023-02-15 11:42

dependencies

Group	Artifact	Version
org.jetbrains.kotlin	kotlin-stdlib-common	1.8.10
it.unibo.tuprolog	solve	0.31.1-dev02+0cd8a1ae6
it.unibo.tuprolog	bdd	0.31.1-dev02+0cd8a1ae6

developers

	Jason Dellaluce
	Sofia Montebugnoli
	Enrico Siboni
	Giovanni Ciatto	https://www.unibo.it/en/homepage
	Andrea Giordano
	Silvia Lanzoni
	Paolo Verdini
	Lorenzo Rizzato
	Manuel Bonarrigo
	Davide Greco

licenses

Apache-2.0

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