https://5dok.net/document/oy8m5kwz-multi-core-bdd-operations-for-symbolic-reachability.html