-
Notifications
You must be signed in to change notification settings - Fork 20
/
2p-kt.json
21 lines (21 loc) · 716 Bytes
/
2p-kt.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
{
"description": "Kotlin Multi-Platform ecosystem for symbolic AI",
"properties": [
{ "name": "v", "value": "1.0.4" },
{ "name": "v-renovate-hint", "value": "update: package=it.unibo.tuprolog:full" }
],
"link": "https://github.com/tuProlog/2p-kt",
"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.*"
]
}