remove benchmarking code
andAbstract
porting to Sylvan BDD library WIP
reenable dereferencing and garbage collection
cmd line arg for number of threads