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 |
<!-- 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"]