| Лицензия |
Лицензия |
|---|---|
| Категории |
КатегорииGithub Инструменты разработки Контроль версий |
| Группа | Группаcom.github.com-github-javabdd |
| Идентификатор | Идентификаторcom.github.javabdd |
| Последняя версия | Последняя версия3.0.0 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
Описаниеcom.github.javabdd
JavaBDD: A Java library for Binary Decision Diagrams (BDDs)
|
| Ссылка на сайт |
Ссылка на сайт |
| Система контроля версий |
Система контроля версий |
| Имя Файла | Размер |
|---|---|
| com.github.javabdd-3.0.0.pom | |
| com.github.javabdd-3.0.0.jar | 282 KB |
| com.github.javabdd-3.0.0-sources.jar | 154 KB |
| com.github.javabdd-3.0.0-javadoc.jar | 377 KB |
| Обзор |
JarCasting<!-- https://jarcasting.com/artifacts/com.github.com-github-javabdd/com.github.javabdd/ -->
<dependency>
<groupId>com.github.com-github-javabdd</groupId>
<artifactId>com.github.javabdd</artifactId>
<version>3.0.0</version>
</dependency>// https://jarcasting.com/artifacts/com.github.com-github-javabdd/com.github.javabdd/
implementation 'com.github.com-github-javabdd:com.github.javabdd:3.0.0'// https://jarcasting.com/artifacts/com.github.com-github-javabdd/com.github.javabdd/
implementation ("com.github.com-github-javabdd:com.github.javabdd:3.0.0")'com.github.com-github-javabdd:com.github.javabdd:jar:3.0.0'<dependency org="com.github.com-github-javabdd" name="com.github.javabdd" rev="3.0.0">
<artifact name="com.github.javabdd" type="jar" />
</dependency>@Grapes(
@Grab(group='com.github.com-github-javabdd', module='com.github.javabdd', version='3.0.0')
)libraryDependencies += "com.github.com-github-javabdd" % "com.github.javabdd" % "3.0.0"[com.github.com-github-javabdd/com.github.javabdd "3.0.0"]