2P in Kotlin -- Module `test-solve` test-solve-jvm

Group	it.unibo.tuprolog
描述	Common testing facilities for 2P-Kt-based logic solvers
Packaging
Size
文件	pom jar
网址	https://github.com/tuProlog/2p-kt
发布时间	2023-10-13 12:30

dependencies

Group	Artifact	Version
org.jetbrains.kotlin	kotlin-stdlib-jdk8	1.8.21
org.jetbrains.kotlin	kotlin-stdlib-common	1.8.21
it.unibo.tuprolog	solve-jvm	0.31.16
it.unibo.tuprolog	dsl-theory-jvm	0.31.16
org.jetbrains.kotlin	kotlin-test-common	1.8.21
org.jetbrains.kotlin	kotlin-test-annotations-common	1.8.21
org.jetbrains.kotlin	kotlin-test-junit	1.8.21

developers

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

licenses

Apache-2.0

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