├── .gitignore ├── AUTHORS ├── CHANGES ├── CMakeLists.txt ├── ChangeLog ├── Makefile.am ├── Makefile.in ├── NEWS ├── README ├── README.md ├── aclocal.m4 ├── config.h.in ├── configure ├── configure.ac ├── doc ├── Makefile.am ├── Makefile.in ├── bddnotes.ps ├── buddy.ps └── tech.txt ├── examples ├── CMakeLists.txt ├── Makefile.am ├── Makefile.def ├── Makefile.in ├── adder │ ├── CMakeLists.txt │ ├── Makefile.am │ ├── Makefile.in │ ├── adder.cxx │ ├── expected │ └── runtest ├── bddcalc │ ├── CMakeLists.txt │ ├── Makefile.am │ ├── Makefile.in │ ├── example.cal │ ├── examples │ │ ├── c1355.cal │ │ ├── c1908.cal │ │ ├── c2670.cal │ │ ├── c3540.cal │ │ ├── c432.cal │ │ ├── c499.cal │ │ └── readme │ ├── expected │ ├── hashtbl.cxx │ ├── hashtbl.h │ ├── lexer.cxx │ ├── lexer.lxx │ ├── parser.cxx │ ├── parser.h │ ├── parser.yxx │ ├── parser_.h │ ├── readme │ ├── runtest │ └── slist.h ├── bddtest │ ├── CMakeLists.txt │ ├── Makefile.am │ ├── Makefile.in │ ├── bddtest.cxx │ ├── expected │ └── runtest ├── cmilner │ ├── CMakeLists.txt │ ├── Makefile.am │ ├── Makefile.in │ ├── cmilner.c │ ├── expected │ ├── readme │ └── runtest ├── fdd │ ├── CMakeLists.txt │ ├── Makefile.am │ ├── Makefile.in │ ├── expected │ ├── fdd.cxx │ └── runtest ├── milner │ ├── CMakeLists.txt │ ├── Makefile.am │ ├── Makefile.in │ ├── expected │ ├── milner.cxx │ ├── readme │ └── runtest ├── money │ ├── CMakeLists.txt │ ├── Makefile.am │ ├── Makefile.in │ ├── expected │ ├── money.cxx │ └── runtest ├── queen │ ├── CMakeLists.txt │ ├── Makefile.am │ ├── Makefile.in │ ├── expected │ ├── queen.cxx │ └── runtest ├── runregression └── solitare │ ├── CMakeLists.txt │ ├── Makefile.am │ ├── Makefile.in │ ├── readme │ └── solitare.cxx ├── m4 └── debug.m4 ├── src ├── CMakeLists.txt ├── Makefile.am ├── Makefile.in ├── bdd.h ├── bddio.c ├── bddop.c ├── bddtest.cxx ├── bddtree.h ├── bvec.c ├── bvec.h ├── cache.c ├── cache.h ├── cppext.cxx ├── fdd.c ├── fdd.h ├── imatrix.c ├── imatrix.h ├── kernel.c ├── kernel.h ├── pairs.c ├── prime.c ├── prime.h ├── reorder.c └── tree.c └── tools ├── config.guess ├── config.sub ├── depcomp ├── install-sh ├── ltmain.sh └── missing /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/.gitignore -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/AUTHORS -------------------------------------------------------------------------------- /CHANGES: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /ChangeLog: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/ChangeLog -------------------------------------------------------------------------------- /Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/Makefile.am -------------------------------------------------------------------------------- /Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/Makefile.in -------------------------------------------------------------------------------- /NEWS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/NEWS -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/README -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/README.md -------------------------------------------------------------------------------- /aclocal.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/aclocal.m4 -------------------------------------------------------------------------------- /config.h.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/config.h.in -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/configure -------------------------------------------------------------------------------- /configure.ac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/configure.ac -------------------------------------------------------------------------------- /doc/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/doc/Makefile.am -------------------------------------------------------------------------------- /doc/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/doc/Makefile.in -------------------------------------------------------------------------------- /doc/bddnotes.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/doc/bddnotes.ps -------------------------------------------------------------------------------- /doc/buddy.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/doc/buddy.ps -------------------------------------------------------------------------------- /doc/tech.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/doc/tech.txt -------------------------------------------------------------------------------- /examples/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/CMakeLists.txt -------------------------------------------------------------------------------- /examples/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/Makefile.am -------------------------------------------------------------------------------- /examples/Makefile.def: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/Makefile.def -------------------------------------------------------------------------------- /examples/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/Makefile.in -------------------------------------------------------------------------------- /examples/adder/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/adder/CMakeLists.txt -------------------------------------------------------------------------------- /examples/adder/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/adder/Makefile.am -------------------------------------------------------------------------------- /examples/adder/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/adder/Makefile.in -------------------------------------------------------------------------------- /examples/adder/adder.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/adder/adder.cxx -------------------------------------------------------------------------------- /examples/adder/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/adder/expected -------------------------------------------------------------------------------- /examples/adder/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/adder/runtest -------------------------------------------------------------------------------- /examples/bddcalc/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/CMakeLists.txt -------------------------------------------------------------------------------- /examples/bddcalc/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/Makefile.am -------------------------------------------------------------------------------- /examples/bddcalc/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/Makefile.in -------------------------------------------------------------------------------- /examples/bddcalc/example.cal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/example.cal -------------------------------------------------------------------------------- /examples/bddcalc/examples/c1355.cal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/examples/c1355.cal -------------------------------------------------------------------------------- /examples/bddcalc/examples/c1908.cal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/examples/c1908.cal -------------------------------------------------------------------------------- /examples/bddcalc/examples/c2670.cal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/examples/c2670.cal -------------------------------------------------------------------------------- /examples/bddcalc/examples/c3540.cal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/examples/c3540.cal -------------------------------------------------------------------------------- /examples/bddcalc/examples/c432.cal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/examples/c432.cal -------------------------------------------------------------------------------- /examples/bddcalc/examples/c499.cal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/examples/c499.cal -------------------------------------------------------------------------------- /examples/bddcalc/examples/readme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/examples/readme -------------------------------------------------------------------------------- /examples/bddcalc/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/expected -------------------------------------------------------------------------------- /examples/bddcalc/hashtbl.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/hashtbl.cxx -------------------------------------------------------------------------------- /examples/bddcalc/hashtbl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/hashtbl.h -------------------------------------------------------------------------------- /examples/bddcalc/lexer.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/lexer.cxx -------------------------------------------------------------------------------- /examples/bddcalc/lexer.lxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/lexer.lxx -------------------------------------------------------------------------------- /examples/bddcalc/parser.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/parser.cxx -------------------------------------------------------------------------------- /examples/bddcalc/parser.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/parser.h -------------------------------------------------------------------------------- /examples/bddcalc/parser.yxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/parser.yxx -------------------------------------------------------------------------------- /examples/bddcalc/parser_.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/parser_.h -------------------------------------------------------------------------------- /examples/bddcalc/readme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/readme -------------------------------------------------------------------------------- /examples/bddcalc/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/runtest -------------------------------------------------------------------------------- /examples/bddcalc/slist.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddcalc/slist.h -------------------------------------------------------------------------------- /examples/bddtest/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddtest/CMakeLists.txt -------------------------------------------------------------------------------- /examples/bddtest/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddtest/Makefile.am -------------------------------------------------------------------------------- /examples/bddtest/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddtest/Makefile.in -------------------------------------------------------------------------------- /examples/bddtest/bddtest.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddtest/bddtest.cxx -------------------------------------------------------------------------------- /examples/bddtest/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/bddtest/expected -------------------------------------------------------------------------------- /examples/bddtest/runtest: -------------------------------------------------------------------------------- 1 | #!/bin/tcsh -f 2 | 3 | ./bddtest > result 4 | -------------------------------------------------------------------------------- /examples/cmilner/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/cmilner/CMakeLists.txt -------------------------------------------------------------------------------- /examples/cmilner/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/cmilner/Makefile.am -------------------------------------------------------------------------------- /examples/cmilner/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/cmilner/Makefile.in -------------------------------------------------------------------------------- /examples/cmilner/cmilner.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/cmilner/cmilner.c -------------------------------------------------------------------------------- /examples/cmilner/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/cmilner/expected -------------------------------------------------------------------------------- /examples/cmilner/readme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/cmilner/readme -------------------------------------------------------------------------------- /examples/cmilner/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/cmilner/runtest -------------------------------------------------------------------------------- /examples/fdd/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/fdd/CMakeLists.txt -------------------------------------------------------------------------------- /examples/fdd/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/fdd/Makefile.am -------------------------------------------------------------------------------- /examples/fdd/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/fdd/Makefile.in -------------------------------------------------------------------------------- /examples/fdd/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/fdd/expected -------------------------------------------------------------------------------- /examples/fdd/fdd.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/fdd/fdd.cxx -------------------------------------------------------------------------------- /examples/fdd/runtest: -------------------------------------------------------------------------------- 1 | #!/bin/tcsh -f 2 | 3 | ./fdd | egrep -v '^Garbage collection' > result 4 | -------------------------------------------------------------------------------- /examples/milner/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/milner/CMakeLists.txt -------------------------------------------------------------------------------- /examples/milner/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/milner/Makefile.am -------------------------------------------------------------------------------- /examples/milner/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/milner/Makefile.in -------------------------------------------------------------------------------- /examples/milner/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/milner/expected -------------------------------------------------------------------------------- /examples/milner/milner.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/milner/milner.cxx -------------------------------------------------------------------------------- /examples/milner/readme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/milner/readme -------------------------------------------------------------------------------- /examples/milner/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/milner/runtest -------------------------------------------------------------------------------- /examples/money/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/money/CMakeLists.txt -------------------------------------------------------------------------------- /examples/money/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/money/Makefile.am -------------------------------------------------------------------------------- /examples/money/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/money/Makefile.in -------------------------------------------------------------------------------- /examples/money/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/money/expected -------------------------------------------------------------------------------- /examples/money/money.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/money/money.cxx -------------------------------------------------------------------------------- /examples/money/runtest: -------------------------------------------------------------------------------- 1 | #!/bin/tcsh -f 2 | 3 | ./money | egrep -v '^Garbage collection' >> result 4 | -------------------------------------------------------------------------------- /examples/queen/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/queen/CMakeLists.txt -------------------------------------------------------------------------------- /examples/queen/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/queen/Makefile.am -------------------------------------------------------------------------------- /examples/queen/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/queen/Makefile.in -------------------------------------------------------------------------------- /examples/queen/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/queen/expected -------------------------------------------------------------------------------- /examples/queen/queen.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/queen/queen.cxx -------------------------------------------------------------------------------- /examples/queen/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/queen/runtest -------------------------------------------------------------------------------- /examples/runregression: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/runregression -------------------------------------------------------------------------------- /examples/solitare/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/solitare/CMakeLists.txt -------------------------------------------------------------------------------- /examples/solitare/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/solitare/Makefile.am -------------------------------------------------------------------------------- /examples/solitare/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/solitare/Makefile.in -------------------------------------------------------------------------------- /examples/solitare/readme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/solitare/readme -------------------------------------------------------------------------------- /examples/solitare/solitare.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/examples/solitare/solitare.cxx -------------------------------------------------------------------------------- /m4/debug.m4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/m4/debug.m4 -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/Makefile.am: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/Makefile.am -------------------------------------------------------------------------------- /src/Makefile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/Makefile.in -------------------------------------------------------------------------------- /src/bdd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/bdd.h -------------------------------------------------------------------------------- /src/bddio.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/bddio.c -------------------------------------------------------------------------------- /src/bddop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/bddop.c -------------------------------------------------------------------------------- /src/bddtest.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/bddtest.cxx -------------------------------------------------------------------------------- /src/bddtree.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/bddtree.h -------------------------------------------------------------------------------- /src/bvec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/bvec.c -------------------------------------------------------------------------------- /src/bvec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/bvec.h -------------------------------------------------------------------------------- /src/cache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/cache.c -------------------------------------------------------------------------------- /src/cache.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/cache.h -------------------------------------------------------------------------------- /src/cppext.cxx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/cppext.cxx -------------------------------------------------------------------------------- /src/fdd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/fdd.c -------------------------------------------------------------------------------- /src/fdd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/fdd.h -------------------------------------------------------------------------------- /src/imatrix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/imatrix.c -------------------------------------------------------------------------------- /src/imatrix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/imatrix.h -------------------------------------------------------------------------------- /src/kernel.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/kernel.c -------------------------------------------------------------------------------- /src/kernel.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/kernel.h -------------------------------------------------------------------------------- /src/pairs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/pairs.c -------------------------------------------------------------------------------- /src/prime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/prime.c -------------------------------------------------------------------------------- /src/prime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/prime.h -------------------------------------------------------------------------------- /src/reorder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/reorder.c -------------------------------------------------------------------------------- /src/tree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/src/tree.c -------------------------------------------------------------------------------- /tools/config.guess: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/tools/config.guess -------------------------------------------------------------------------------- /tools/config.sub: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/tools/config.sub -------------------------------------------------------------------------------- /tools/depcomp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/tools/depcomp -------------------------------------------------------------------------------- /tools/install-sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/tools/install-sh -------------------------------------------------------------------------------- /tools/ltmain.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/tools/ltmain.sh -------------------------------------------------------------------------------- /tools/missing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jgcoded/BuDDy/HEAD/tools/missing --------------------------------------------------------------------------------