Python Supervised Binary Decision Diagrams