| License |
License |
|---|---|
| Categories |
CategoriesGithub Development Tools Version Controls |
| GroupId | GroupIdcom.github.com-github-javabdd |
| ArtifactId | ArtifactIdcom.github.javabdd |
| Last Version | Last Version3.0.0 |
| Release Date | Release Date |
| Type | Typejar |
| Description |
Descriptioncom.github.javabdd
JavaBDD: A Java library for Binary Decision Diagrams (BDDs)
|
| Project URL |
Project URL |
| Source Code Management |
Source Code Management |
| Filename | Size |
|---|---|
| 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 |
| Browse |
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"]