A small SMT solving server and wire-format toolkit for bit-vector and Boolean formulas. - View it on GitHub