Bugfix: garbage collection did not properly mark BDDs that were the result of stolen and completed tasks. Now, every spawned Sylvan task is stored in a thread-local array. During garbage collection, the results of completed tasks are now also marked as in use.
Added LDDmc, multi-core ListDD implementation
lddmc: add lddmc_match
lddmc: add lddmc_match_sat_par
lddmc: add lddmc_test_ismdd
lddmc: add lddmc_relprev
Fix garbage collection problem