License |
License |
---|---|
Categories |
CategoriesNet |
GroupId | GroupIdnet.hostettler.jdd |
ArtifactId | ArtifactIdjdd |
Last Version | Last Version1.0.2 |
Release Date | Release Date |
Type | Typejar |
Description |
DescriptionJava Decision Diagram
JDD is Java Decision Diagram library. This library provides Java support to encode Data Decision Diagrams and Hierarchical Set Decision Diagrams as well as set and homomorphic operations.
|
Filename | Size |
---|---|
jdd-1.0.2.pom | |
jdd-1.0.2.jar | 66 KB |
jdd-1.0.2-sources.jar | 24 KB |
jdd-1.0.2-javadoc.jar | 581 KB |
Browse |
<!-- https://jarcasting.com/artifacts/net.hostettler.jdd/jdd/ -->
<dependency>
<groupId>net.hostettler.jdd</groupId>
<artifactId>jdd</artifactId>
<version>1.0.2</version>
</dependency>
// https://jarcasting.com/artifacts/net.hostettler.jdd/jdd/
implementation 'net.hostettler.jdd:jdd:1.0.2'
// https://jarcasting.com/artifacts/net.hostettler.jdd/jdd/
implementation ("net.hostettler.jdd:jdd:1.0.2")
'net.hostettler.jdd:jdd:jar:1.0.2'
<dependency org="net.hostettler.jdd" name="jdd" rev="1.0.2">
<artifact name="jdd" type="jar" />
</dependency>
@Grapes(
@Grab(group='net.hostettler.jdd', module='jdd', version='1.0.2')
)
libraryDependencies += "net.hostettler.jdd" % "jdd" % "1.0.2"
[net.hostettler.jdd/jdd "1.0.2"]
Group / Artifact | Type | Version |
---|---|---|
com.google.guava : guava | jar | 30.0-jre |
Group / Artifact | Type | Version |
---|---|---|
junit : junit | jar | 4.12 |