A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions. - View it on GitHub