A crate for managing memory bit by bit
Greg's Template Library of useful classes.
Static bit vector structures library
Provides a bit-vector, an optimized replacement of the infamous std:...
Specify and synthesize systems using symbolic algorithms
A simple (unfinished) SMT solver for QF_ABV.