Machine Code Binary Decision Diagrams (MCBDDs) - View it on GitHub