Implementation of multi-core (binary) decision diagrams