PHP implementation of Binary Decision Diagrams