This is a class project, developed by Felipe Prado, Luiz Maia and me (Vitor Roriz). We have implemented a ROBDD package for a given interface.

VDS Class Project - Reduced Order Binary Decision Diagram Package (ROBDD)

Intro

This project implements a ROBDD package in C++.

Compiling

• First create a build folder under the package directory:
• mkdir build
• cd build
• Now, once you are inside the build directory, enter the following commands to compile the package:
• cmake ..
• make

Running tests

• Once you have compiled the package you have a binary file called ./VDSProject_test