automata bitvector logic-minimization python rabin streett symbolic synthesis temporal-logic

bit-vector bit-vectors bitset bitvector btree concurrent containers dynamic-bitset hash hash-container hashmap lru-cache memoize soa unordered unordered-set

bitvector cpp rank select space-efficiency