| Лицензия |
Лицензия |
|---|---|
| Группа | Группаde.hhu.stups |
| Идентификатор | Идентификаторde.prob2.kernel |
| Последняя версия | Последняя версия3.15.0 |
| Дата | Дата |
| Тип | Типpom.sha512 |
| Описание |
Описаниеde.prob2.kernel
The ProB 2.0 Kernel library
|
| Ссылка на сайт |
Ссылка на сайт |
| Система контроля версий |
Система контроля версий |
| Имя Файла | Размер |
|---|---|
| de.prob2.kernel-3.15.0.pom | |
| de.prob2.kernel-3.15.0-sources.jar | 44 MB |
| de.prob2.kernel-3.15.0-javadoc.jar | 1 MB |
| Обзор |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| de.hhu.stups : answerparser | jar | 2.9.32 |
| de.hhu.stups : bparser | jar | 2.9.32 |
| de.hhu.stups : ltlparser | jar | 2.9.32 |
| de.hhu.stups : parserbase | jar | 2.9.32 |
| de.hhu.stups : prologlib | jar | 2.9.32 |
| de.hhu.stups : unicode | jar | 2.9.32 |
| de.hhu.stups : theorymapping | jar | 2.9.32 |
| de.hhu.stups : value-translator | jar | 0.1.2 |
| org.codehaus.groovy : groovy | jar | |
| org.codehaus.groovy : groovy-jsr223 | jar | |
| org.codehaus.groovy : groovy-nio | jar | |
| org.codehaus.groovy : groovy-xml | jar | |
| org.slf4j : slf4j-api | jar | 1.7.32 |
| com.github.krukow : clj-ds | jar | 0.0.4 |
| com.google.inject : guice | jar | 5.0.1 |
| de.hhu.stups : ltl-dsl | jar | 0.1.3 |
| de.hhu.stups : rodin-eventb-ast | jar | 3.2.0 |
| com.fasterxml.jackson.core : jackson-databind | jar | |
| com.fasterxml.jackson.datatype : jackson-datatype-jsr310 | jar |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| com.fatboyindustrial.gson-javatime-serialisers : gson-javatime-serialisers | jar | 1.1.1 |
| com.google.guava : guava | jar | 30.1.1-jre |
| com.google.code.gson : gson | jar | 2.8.8 |
| de.hhu.stups : alloy2b | jar | 1.2 |
| de.hhu.stups : tla2bAST | jar | 1.1.4 |