ap.theories.bitvectors
Pre-processing of formulas
First-level preprocessor: Visitor that translates bit-vector operations to a basic set of operations (mod_cast, ...) and simplifies.
Second-level preprocessor, on internal formulas
Pre-processing of formulas