ROBDD Implementation using Andersen's Notes.