All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Download jdd JAR 108 with all dependencies


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

Files of the artifact jdd version 108 from the group org.bitbucket.vahidi.

Artifact jdd
Group org.bitbucket.vahidi
Version 108
Last update 13. March 2017
Tags: with binary suppressed library java working bdds zero decision diagrams
Organization not specified
URL https://bitbucket.org/vahidi/jdd
License The zlib/libpng License (Zlib)
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
The newest version!
Show more of this group  Show more artifacts with this name
Show all versions of jdd Show documentation

Please rate this JAR file. Is it a good library?

2 downloads

Source code of jdd version 108

META-INF
META-INF.META-INF.MANIFEST.MF
.build.xml
data
data.data.README
data.bugs
data.bugs.data.bugs.README
data
data.data.iscas_c6288.zip
data.data.iscas_rest.zip
data.data.velev_sss.zip
data.data.yangs_traces.zip
.pom.xml
src.jdd
src.jdd.src.jdd.Version
src.jdd.applet
src.jdd.applet.src.jdd.applet.JDDVersion
src.jdd.applet.src.jdd.applet.QueensApplet
src.jdd.applet.src.jdd.applet.QueensBoard
src.jdd.applet.src.jdd.applet.TraceApplet
src.jdd.applet.src.jdd.applet.package.html
src.jdd.bdd
src.jdd.bdd.src.jdd.bdd.BDD
src.jdd.bdd.src.jdd.bdd.BDDIO
src.jdd.bdd.src.jdd.bdd.BDDNames
src.jdd.bdd.src.jdd.bdd.BDDPrinter
src.jdd.bdd.src.jdd.bdd.BDDUserNames
src.jdd.bdd.src.jdd.bdd.BDDUtil
src.jdd.bdd.src.jdd.bdd.Cache
src.jdd.bdd.src.jdd.bdd.CacheBase
src.jdd.bdd.src.jdd.bdd.CacheEntry
src.jdd.bdd.src.jdd.bdd.DoubleCache
src.jdd.bdd.src.jdd.bdd.NodeTable
src.jdd.bdd.src.jdd.bdd.OptimizedCache
src.jdd.bdd.src.jdd.bdd.Permutation
src.jdd.bdd.src.jdd.bdd.SimpleCache
src.jdd.bdd.debug
src.jdd.bdd.debug.src.jdd.bdd.debug.BDDDebugFrame
src.jdd.bdd.debug.src.jdd.bdd.debug.BDDDebuger
src.jdd.bdd.debug.src.jdd.bdd.debug.BDDTrace
src.jdd.bdd.debug.src.jdd.bdd.debug.BDDTraceSuite
src.jdd.bdd.debug.src.jdd.bdd.debug.DebugBDD
src.jdd.bdd.debug.src.jdd.bdd.debug.IdealCache
src.jdd.bdd.debug.src.jdd.bdd.debug.ProfiledBDD
src.jdd.bdd.debug.src.jdd.bdd.debug.ProfiledBDD2
src.jdd.bdd.debug.src.jdd.bdd.debug.RandomCache
src.jdd.bdd.debug.src.jdd.bdd.debug.VerifiedCache
src.jdd.bdd.debug.src.jdd.bdd.debug.package.html
src.jdd.bdd
src.jdd.bdd.src.jdd.bdd.package.html
src.jdd.bdd.sets
src.jdd.bdd.sets.src.jdd.bdd.sets.BDDSet
src.jdd.bdd.sets.src.jdd.bdd.sets.BDDSetEnumeration
src.jdd.bdd.sets.src.jdd.bdd.sets.BDDUniverse
src.jdd.bdd.sets.src.jdd.bdd.sets.package.html
src.jdd.examples
src.jdd.examples.src.jdd.examples.Adder
src.jdd.examples.src.jdd.examples.BDDQueens
src.jdd.examples.src.jdd.examples.ConfigExample
src.jdd.examples.src.jdd.examples.Fibonacci
src.jdd.examples.src.jdd.examples.Milner
src.jdd.examples.src.jdd.examples.Queens
src.jdd.examples.src.jdd.examples.Simple1
src.jdd.examples.src.jdd.examples.Simple2
src.jdd.examples.src.jdd.examples.Simple3
src.jdd.examples.src.jdd.examples.Solitaire
src.jdd.examples.src.jdd.examples.ZDDCSPQueens
src.jdd.examples.src.jdd.examples.ZDDQueens
src.jdd.examples.src.jdd.examples.package.html
src.jdd.internal.bugs
src.jdd.internal.bugs.src.jdd.internal.bugs.package.html
src.jdd.internal.hashtest
src.jdd.internal.hashtest.src.jdd.internal.hashtest.HashTest
src.jdd.internal.hashtest.src.jdd.internal.hashtest.Histogram
src.jdd.internal.hashtest.src.jdd.internal.hashtest.HistogramPanel
src.jdd.internal.hashtest.src.jdd.internal.hashtest.package.html
src.jdd.internal
src.jdd.internal.src.jdd.internal.package.html
src.jdd.internal.tests
src.jdd.internal.tests.src.jdd.internal.tests.RunTests
src.jdd.internal.tests.src.jdd.internal.tests.package.html
src.jdd
src.jdd.src.jdd.package.html
src.jdd.util
src.jdd.util.src.jdd.util.Allocator
src.jdd.util.src.jdd.util.Array
src.jdd.util.src.jdd.util.BitStream
src.jdd.util.src.jdd.util.Configuration
src.jdd.util.src.jdd.util.Dot
src.jdd.util.src.jdd.util.FileTarget
src.jdd.util.src.jdd.util.FileUtility
src.jdd.util.src.jdd.util.Flags
src.jdd.util.src.jdd.util.JDDConsole
src.jdd.util.src.jdd.util.NodeName
src.jdd.util.src.jdd.util.NotCloseableInputStream
src.jdd.util.src.jdd.util.Options
src.jdd.util.src.jdd.util.PrintTarget
src.jdd.util.src.jdd.util.StdoutTarget
src.jdd.util.src.jdd.util.Test
src.jdd.util.src.jdd.util.TextAreaTarget
src.jdd.util.src.jdd.util.TimeUtility
src.jdd.util.jre
src.jdd.util.jre.src.jdd.util.jre.JREInfo
src.jdd.util.jre.src.jdd.util.jre.JRETest
src.jdd.util.jre.src.jdd.util.jre.package.html
src.jdd.util.math
src.jdd.util.math.src.jdd.util.math.Chi2Test
src.jdd.util.math.src.jdd.util.math.Digits
src.jdd.util.math.src.jdd.util.math.FastRandom
src.jdd.util.math.src.jdd.util.math.HashFunctions
src.jdd.util.math.src.jdd.util.math.Prime
src.jdd.util.math.src.jdd.util.math.package.html
src.jdd.util
src.jdd.util.src.jdd.util.package.html
src.jdd.util.sets
src.jdd.util.sets.src.jdd.util.sets.Set
src.jdd.util.sets.src.jdd.util.sets.SetEnumeration
src.jdd.util.sets.src.jdd.util.sets.Universe
src.jdd.util.sets.src.jdd.util.sets.package.html
src.jdd.util.zip
src.jdd.util.zip.src.jdd.util.zip.MemoryChunk
src.jdd.util.zip.src.jdd.util.zip.MemoryInputStream
src.jdd.util.zip.src.jdd.util.zip.MemoryOutputStream
src.jdd.util.zip.src.jdd.util.zip.package.html
src.jdd.zdd
src.jdd.zdd.src.jdd.zdd.ZDD
src.jdd.zdd.src.jdd.zdd.ZDD2
src.jdd.zdd.src.jdd.zdd.ZDDCSP
src.jdd.zdd.src.jdd.zdd.ZDDGraph
src.jdd.zdd.src.jdd.zdd.ZDDNames
src.jdd.zdd.src.jdd.zdd.ZDDPrinter
src.jdd.zdd.src.jdd.zdd.package.html




© 2015 - 2024 Weber Informatics LLC | Privacy Policy