2P-Kt -- Module `Solve Problog` solve-problog

Group	it.unibo.tuprolog
描述	State-machine-based implementation of ProbLog
Packaging
Size
文件	pom jar
网址	https://github.com/tuProlog/2p-kt
发布时间	2024-04-07 04:21

dependencies

Group	Artifact	Version
org.jetbrains.kotlin	kotlin-stdlib-common	1.9.23
it.unibo.tuprolog	bdd	1.0.1
it.unibo.tuprolog	solve-classic	1.0.1
it.unibo.tuprolog	solve-plp	1.0.1
org.jetbrains.kotlin	kotlin-stdlib	1.9.23

developers

	Jason Dellaluce
	Enrico Siboni
	Giovanni Ciatto	Alma Mater Studiorum - Università di Bologna
	Andrea Giordano
	Silvia Lanzoni
	Manuel Bonarrigo
	Davide Greco
	Sofia Montebugnoli
	Paolo Verdini
	Lorenzo Rizzato
	Jason Dellaluce
	Enrico Siboni
	Giovanni Ciatto	Alma Mater Studiorum - Università di Bologna
	Andrea Giordano
	Silvia Lanzoni
	Manuel Bonarrigo
	Davide Greco
	Sofia Montebugnoli
	Paolo Verdini
	Lorenzo Rizzato

licenses

Apache-2.0

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