Working bounded set
Merge branch 'master' into bounded_set
Merge
Merge branch 'master' into bounded_set
Improved bounded set
Optimized hash table
removed unneeded hashfun
Temporary storage
Simplified temp storage handling
Merge branch 'master' into bounded_set
Cleanup in BSF_storage handling
Optimized bounded set + hash function
Added set size statistics
Merge branch 'master' into bounded_set