Moved to custom dynamic bitset implementation
Switched to boost::dynamic_bitset and boost::pool_allocator
Modified REP rule algorithm and performance optimizations