4.0.0 it.unibo.tuprolog solve-js 0.20.3 2P-Kt -- Module `Solve` Resolution-agnostic API for logic solvers https://github.com/tuProlog/2p-kt Apache-2.0 https://www.apache.org/licenses/LICENSE-2.0 Giovanni Ciatto giovanni.ciatto@unibo.it http://about.me/gciatto Enrico Siboni enrico.siboni3@studio.unibo.it Paolo Verdini paolo.verdini@studio.unibo.it Manuel Bonarrigo manuel.bonarrigo@studio.unibo.it Sofia Montebugnoli sofia.montebugnoli2@studio.unibo.it Davide Greco davide.greco4@studio.unibo.it Silvia Lanzoni silvia.lanzoni5@studio.unibo.it Lorenzo Rizzato lorenzo.rizzato@studio.unibo.it Jason Dellaluce jason.dellaluce@studio.unibo.it git@github.com:tuProlog/2p-kt.git https://github.com/tuProlog/2p-kt https://github.com/tuProlog/2p-kt/issues org.jetbrains.kotlin kotlin-stdlib-common 1.5.31 compile org.jetbrains.kotlin kotlin-reflect 1.5.31 compile it.unibo.tuprolog core-js 0.20.3 compile it.unibo.tuprolog unify-js 0.20.3 compile it.unibo.tuprolog theory-js 0.20.3 compile org.jetbrains.kotlin kotlin-stdlib-js 1.5.31 runtime