Pure-Python library for working with bit vectors.
Specify and synthesize systems using symbolic algorithms