A SMT bit-vector solver that doesn't do much.