JarCasting
JarCasting JarCasting
не последняя версия
Последняя версия 0.20.9-dev03+3250bb16 →

it.unibo.tuprolog:dsl-solve-jvm 0.20.9-dev0a+8e9a240b

Kotlin DSL for logic programming, enriched with unification, clause storage, and resolution facilities

Группа

Группа

it.unibo.tuprolog
Идентификатор

Идентификатор

dsl-solve-jvm
Версия

Версия

0.20.9-dev0a+8e9a240b
Тип

Тип

pom.sha512

Скачать dsl-solve-jvm 0.20.9-dev0a+8e9a240b

Имя Файла Размер
dsl-solve-jvm-0.20.9-dev0a+8e9a240b.pom
dsl-solve-jvm-0.20.9-dev0a+8e9a240b-sources.jar 2 KB
dsl-solve-jvm-0.20.9-dev0a+8e9a240b-javadoc.jar 267 KB
Обзор