1. Renamed the State class to vertex class
2. Adding patch: pup support for dynamic_bitset