com.github.javabdd

JavaBDD: A Java library for Binary Decision Diagrams (BDDs)

License

License

Categories

Categories

Github Development Tools Version Controls
GroupId

GroupId

com.github.com-github-javabdd
ArtifactId

ArtifactId

com.github.javabdd
Last Version

Last Version

3.0.0
Release Date

Release Date

Type

Type

jar
Description

Description

com.github.javabdd
JavaBDD: A Java library for Binary Decision Diagrams (BDDs)
Project URL

Project URL

https://github.com/com-github-javabdd/com.github.javabdd
Source Code Management

Source Code Management

https://github.com/com-github-javabdd/com.github.javabdd

Download com.github.javabdd

How to add to project

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

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Versions

Version
3.0.0
2.0.0
1.0.1
1.0.0