A Thread-Safe Library for Binary Decision Diagrams