Multi-core Decision Diagram (BDD/LDD) implementation