jar

org.bitbucket.vahidi : jdd

Maven & Gradle

Mar 13, 2017
1 usages

JDD · JDD is a Java library for working with Binary Decision Diagrams (BDDs) and Zero-suppressed BDDs (Z-BDDs).

Table Of Contents

Latest Version

Download org.bitbucket.vahidi : jdd JAR file - Latest Versions:

All Versions

Download org.bitbucket.vahidi : jdd JAR file - All Versions:

Version Vulnerabilities Size Updated
108

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window jdd-108.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

jdd.examples

├─ jdd.examples.Adder.class - [JAR]

├─ jdd.examples.BDDQueens.class - [JAR]

├─ jdd.examples.ConfigExample.class - [JAR]

├─ jdd.examples.Fibonacci.class - [JAR]

├─ jdd.examples.Milner.class - [JAR]

├─ jdd.examples.Queens.class - [JAR]

├─ jdd.examples.Simple1.class - [JAR]

├─ jdd.examples.Simple2.class - [JAR]

├─ jdd.examples.Simple3.class - [JAR]

├─ jdd.examples.Solitaire.class - [JAR]

├─ jdd.examples.ZDDCSPQueens.class - [JAR]

├─ jdd.examples.ZDDQueens.class - [JAR]

jdd.util.math

├─ jdd.util.math.Chi2Test.class - [JAR]

├─ jdd.util.math.Digits.class - [JAR]

├─ jdd.util.math.FastRandom.class - [JAR]

├─ jdd.util.math.HashFunctions.class - [JAR]

├─ jdd.util.math.Prime.class - [JAR]

jdd.applet

├─ jdd.applet.JDDVersion.class - [JAR]

├─ jdd.applet.QueensApplet.class - [JAR]

├─ jdd.applet.QueensBoard.class - [JAR]

├─ jdd.applet.TraceApplet.class - [JAR]

jdd.bdd.sets

├─ jdd.bdd.sets.BDDSet.class - [JAR]

├─ jdd.bdd.sets.BDDSetEnumeration.class - [JAR]

├─ jdd.bdd.sets.BDDUniverse.class - [JAR]

├─ jdd.bdd.sets.SubDomain.class - [JAR]

jdd.bdd.debug

├─ jdd.bdd.debug.BDDDebugFrame.class - [JAR]

├─ jdd.bdd.debug.BDDDebuger.class - [JAR]

├─ jdd.bdd.debug.BDDTrace.class - [JAR]

├─ jdd.bdd.debug.BDDTraceSuite.class - [JAR]

├─ jdd.bdd.debug.DebugBDD.class - [JAR]

├─ jdd.bdd.debug.IdealCache.class - [JAR]

├─ jdd.bdd.debug.ProfiledBDD.class - [JAR]

├─ jdd.bdd.debug.ProfiledBDD2.class - [JAR]

├─ jdd.bdd.debug.RandomCache.class - [JAR]

├─ jdd.bdd.debug.VerifiedCache.class - [JAR]

jdd.util.jre

├─ jdd.util.jre.JREInfo.class - [JAR]

├─ jdd.util.jre.JRETest.class - [JAR]

jdd.zdd

├─ jdd.zdd.ZDD.class - [JAR]

├─ jdd.zdd.ZDD2.class - [JAR]

├─ jdd.zdd.ZDDCSP.class - [JAR]

├─ jdd.zdd.ZDDGraph.class - [JAR]

├─ jdd.zdd.ZDDNames.class - [JAR]

├─ jdd.zdd.ZDDPrinter.class - [JAR]

jdd.util

├─ jdd.util.Allocator.class - [JAR]

├─ jdd.util.Array.class - [JAR]

├─ jdd.util.BitStream.class - [JAR]

├─ jdd.util.Configuration.class - [JAR]

├─ jdd.util.Dot.class - [JAR]

├─ jdd.util.FileTarget.class - [JAR]

├─ jdd.util.FileUtility.class - [JAR]

├─ jdd.util.Flags.class - [JAR]

├─ jdd.util.JDDConsole.class - [JAR]

├─ jdd.util.NodeName.class - [JAR]

├─ jdd.util.NotCloseableInputStream.class - [JAR]

├─ jdd.util.Options.class - [JAR]

├─ jdd.util.PrintTarget.class - [JAR]

├─ jdd.util.StdoutTarget.class - [JAR]

├─ jdd.util.Test.class - [JAR]

├─ jdd.util.TextAreaTarget.class - [JAR]

├─ jdd.util.TimeUtility.class - [JAR]

jdd

├─ jdd.Version.class - [JAR]

jdd.util.zip

├─ jdd.util.zip.MemoryChunk.class - [JAR]

├─ jdd.util.zip.MemoryInputStream.class - [JAR]

├─ jdd.util.zip.MemoryOutputStream.class - [JAR]

jdd.util.sets

├─ jdd.util.sets.Set.class - [JAR]

├─ jdd.util.sets.SetEnumeration.class - [JAR]

├─ jdd.util.sets.Universe.class - [JAR]

jdd.bdd

├─ jdd.bdd.BDD.class - [JAR]

├─ jdd.bdd.BDDIO.class - [JAR]

├─ jdd.bdd.BDDNames.class - [JAR]

├─ jdd.bdd.BDDPrinter.class - [JAR]

├─ jdd.bdd.BDDUserNames.class - [JAR]

├─ jdd.bdd.BDDUtil.class - [JAR]

├─ jdd.bdd.Cache.class - [JAR]

├─ jdd.bdd.CacheBase.class - [JAR]

├─ jdd.bdd.CacheEntry.class - [JAR]

├─ jdd.bdd.DoubleCache.class - [JAR]

├─ jdd.bdd.NodeTable.class - [JAR]

├─ jdd.bdd.OptimizedCache.class - [JAR]

├─ jdd.bdd.Permutation.class - [JAR]

├─ jdd.bdd.SimpleCache.class - [JAR]

Advertisement

Dependencies from Group

jdd
Mar 13, 2017
1 usages

Discover Dependencies

Dec 08, 2019
2 usages
65 stars
Mar 21, 2017
1 usages
1.4k stars
Mar 23, 2017
1 usages
Mar 26, 2017
1 usages
0 stars
Jun 06, 2017
1 usages
153 stars
Mar 27, 2017
2 usages
21 stars
Oct 23, 2018
2 usages
3 stars