This is the homework of digital design, about ROBDD's Implementation.
Before execute this program, please ensure that the environment have downloaded graphviz and c++ compiler.
All the command you need have written in the script file, and you just need to execute it.
If you want to add some other testcase, you just need to add them into input directory
./script.sh
- input: contain all input file, must be pla format, or error occur.
- src: contain all source code, include .h and .cpp file.
- output: contain all output file, include executable file, dot file and png file that graphiviz generated.