File list (Check if you may need any files):
bddbddb-full
............\jwutil
............\net
............\META-INF
............\jwutil\util
............\......\strings
............\......\reflect
............\......\math
............\......\io
............\......\gui
............\......\graphs
............\......\collections
............\......\classloader
............\net\sf
............\...\..\javabdd
............\...\..\bddbddb
............\...\..\.......\order
............\...\..\.......\ir
............\...\..\.......\dataflow
............\...\..\.......\ir\lowlevel
............\...\..\.......\..\highlevel
............\...\..\.......\..\dynamic
............\META-INF\LICENSE.txt
............\........\MANIFEST.MF
............\jwutil\util\Assert.class
............\......\....\Assert$DefaultDebugDelegate.class
............\......\....\Assert$DebugDelegate.class
............\......\strings\MyStringTokenizer.class
............\......\reflect\Reflect.class
............\......\math\Distributions.class
............\......\....\CombinationGenerator.class
............\......\....\BitString.class
............\......\....\BitString$ForwardBitStringIterator.class
............\......\....\BitString$BitStringIterator.class
............\......\io\SystemProperties.class
............\......\..\ReaderInputStream.class
............\......\..\InputStreamGobbler.class
............\......\..\InputStreamGobbler$Output.class
............\......\..\FillableReader.class
............\......\..\FillableReader$FISWriter.class
............\......\gui\AppletIO.class
............\......\...\AppletIO$TextAreaListener.class
............\......\...\AppletIO$AppletOutputStream.class
............\......\...\AppletIO$2.class
............\......\...\AppletIO$1.class
............\......\.raphs\Traversals.class
............\......\......\SCCTopSortedGraph.class
............\......\......\SCCPathNumbering.class
............\......\......\SCComponent.class
............\......\......\SCComponent$SCComponentInt.class
............\......\......\SCComponent$1.class
............\......\......\ReverseNavigator.class
............\......\......\PathNumbering.class
............\......\......\PathNumbering$Selector.class
............\......\......\PathNumbering$Range.class
............\......\......\Navigator.class
............\......\......\Graph.class
............\......\......\GlobalPathNumbering.class
............\......\......\EdgeLabeler.class
............\......\......\DumpDotGraph.class
............\......\collections\Worklist.class
............\......\...........\UnmodifiableIterator.class
............\......\...........\UnionFind.class
............\......\...........\SetFactory.class
............\......\...........\SetFactory$SerialSetFactory.class
............\......\...........\SetFactory$3.class
............\......\...........\SetFactory$2.class
............\......\...........\SetFactory$1.class
............\......\...........\PairMapEntry.class
............\......\...........\Pair.class
............\......\...........\MultiMapSet.class
............\......\...........\MultiMap.class
............\......\...........\MaxPriorityQueue.class
............\......\...........\MapSet.class
............\......\...........\MapFactory.class
............\......\...........\MapFactory$SerialMapFactory.class
............\......\...........\MapFactory$2.class
............\......\...........\MapFactory$1.class
............\......\...........\ListFactory.class
............\......\...........\ListFactory$2.class
............\......\...........\ListFactory$1.class
............\......\...........\LinearSet.class
............\......\...........\LinearMap.class
............\......\...........\LinearMap$EntrySet.class
............\......\...........\LinearMap$EntryIterator.class
............\......\...........\LinearMap$Entry.class
............\......\...........\IndexMap.class
............\......\...........\IndexedMap.class
............\......\...........\HashWorklist.class
............\......\...........\GenericMultiMap.class
............\......\...........\GenericMultiMap$ValuesCollection.class
............\......\.....