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