llmsset: search for a free slot for new BDD nodes now starts at random location
Minor optimization in llmsset
Bugfix: properly round up when marking external references
Add extra assertion to sylvan_test_isset to check if an item is properly marked
Replace LLCI cache by new cache data structure.
Replace internal reference management by new data structure
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