There was also some data structure I was reading a...

# announcements

[groostav]

There was also some data structure I was reading about that I think Z3 was using that was really good for subset queries, which i feel like is what I want here... but i cant remember names...