| Лицензия |
Лицензия |
|---|---|
| Категории |
КатегорииIDE Инструменты разработки Auto Библиотеки уровня приложения Code Generators |
| Группа | Группаio.github.davidebasile |
| Идентификатор | ИдентификаторContractAutomataLib |
| Последняя версия | Последняя версия0.0.1 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеContractAutomataLib
Library for specifying and verifying contract automata.
|
| Ссылка на сайт |
Ссылка на сайт |
| Система контроля версий |
Система контроля версий |
| Имя Файла | Размер |
|---|---|
| ContractAutomataLib-0.0.1.pom | |
| ContractAutomataLib-0.0.1.jar | 100 KB |
| ContractAutomataLib-0.0.1-sources.jar | 54 KB |
| ContractAutomataLib-0.0.1-javadoc.jar | 643 KB |
| Обзор |
<!-- https://jarcasting.com/artifacts/io.github.davidebasile/ContractAutomataLib/ -->
<dependency>
<groupId>io.github.davidebasile</groupId>
<artifactId>ContractAutomataLib</artifactId>
<version>0.0.1</version>
</dependency>
// https://jarcasting.com/artifacts/io.github.davidebasile/ContractAutomataLib/
implementation 'io.github.davidebasile:ContractAutomataLib:0.0.1'
// https://jarcasting.com/artifacts/io.github.davidebasile/ContractAutomataLib/
implementation ("io.github.davidebasile:ContractAutomataLib:0.0.1")
'io.github.davidebasile:ContractAutomataLib:jar:0.0.1'
<dependency org="io.github.davidebasile" name="ContractAutomataLib" rev="0.0.1">
<artifact name="ContractAutomataLib" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.github.davidebasile', module='ContractAutomataLib', version='0.0.1')
)
libraryDependencies += "io.github.davidebasile" % "ContractAutomataLib" % "0.0.1"
[io.github.davidebasile/ContractAutomataLib "0.0.1"]
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.json : json | jar | 20210307 |
| org.ow2.sat4j : org.ow2.sat4j.core | jar | 2.3.4 |
| org.apache.maven.plugins : maven-gpg-plugin | jar | 3.0.1 |
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| junit : junit | jar | 4.13.2 |
| org.assertj : assertj-core | jar | 3.10.0 |