boolector (hackage): Haskell bindings for the Boolector SMT solver
Keywords: bit-vectors|formal-methods|library|math|mit|smt|theorem-provers