ROBDD

Robdd for Logic curriculum project. Follows 'An introduction to binary decison diagrams' writen by Henrik Reif Anderson

Simply build the project

build the project with: make clean make

move all the *.o file to bin folder cd to the test folder run python ../test.py m n run python ../compare.py

Name		Name	Last commit message	Last commit date
Latest commit History 54 Commits
test		test
.gitignore		.gitignore
CNFExp.cpp		CNFExp.cpp
CNFExp.h		CNFExp.h
Makefile		Makefile
README.md		README.md
ROBDD.1		ROBDD.1
bdd.cpp		bdd.cpp
bdd.h		bdd.h
bddhtable.h		bddhtable.h
bddlist.h		bddlist.h
bddtest.cpp		bddtest.cpp
caution.h		caution.h
cnftest.txt		cnftest.txt
compare.py		compare.py
compareresult.txt		compareresult.txt
listtest.cpp		listtest.cpp
nqueen.cpp		nqueen.cpp
nqueen.h		nqueen.h
nqueentest.cpp		nqueentest.cpp
robdd.cpp		robdd.cpp
robdd.h		robdd.h
robdd_impl.pdf		robdd_impl.pdf
test.py		test.py
testCNF.cpp		testCNF.cpp
testbdd.cpp		testbdd.cpp
utilfunc.cpp		utilfunc.cpp
utilfunc.h		utilfunc.h