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