2P-Kt, Solver-Concurrent Module solve-concurrent 
| Group | it.unibo.tuprolog |
| 描述 | Experimental, state-machine-based implementation of an OR-Concurrent, Prolog-like logic solver, based on Kotlin coroutines |
| Packaging | |
| Size | |
| 文件 | pom jar |
| 网址 | https://github.com/tuProlog/2p-kt |
| 发布时间 | 2023-09-15 18:11 |
dependencies
| Group | Artifact | Version |
|---|---|---|
| org.jetbrains.kotlin | kotlin-stdlib-common | 1.8.21 |
| it.unibo.tuprolog | solve | 0.31.15 |
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 |
索引仓库
| 仓库 | 个数 |
| Central | 592045 |