Bit-Vector and Bit-Set Optimization

You will be able to represent high-cardinality boolean states with minimal memory overhead.