feat: add 2p-kt

Author: gciatto

2p-kt.json

@@ -0,0 +1,30 @@
+{
+    "description": "A Kotlin Multi-Platform ecosystem for symbolic AI",
+    "properties": [
+        {
+            "name": "v",
+            "value": "0.31.9"
+        },
+        {
+            "name": "v-renovate-hint",
+            "value": "update: package=it.unibo.tuprolog:full"
+        }
+    ],
+    "link": "https://github.com/gciatto/kt-math",
+    "repositories": [
+        "https://repo1.maven.org/maven2"
+    ],
+    "dependencies": [
+        "it.unibo.tuprolog:solve-classic-jvm:$v",
+        "it.unibo.tuprolog:parser-theory-jvm:$v",
+        "it.unibo.tuprolog:dsl-solve-jvm:$v"
+    ],
+    "imports": [
+        "it.unibo.tuprolog.core.*",
+        "it.unibo.tuprolog.unify.*",
+        "it.unibo.tuprolog.theory.*",
+        "it.unibo.tuprolog.solve.*",
+        "it.unibo.tuprolog.core.parsing.*",
+        "it.unibo.tuprolog.theory.parsing.*"
+    ]
+}