SPASS+T is an extension of the superposition-based theorem prover SPASS that enlarges the reasoning capabilities of SPASS using some built-in arithmetic simplification rules and an arbitrary SMT procedure for arithmetic and free function symbols as a black-box. (The current version supports Yices 1.0.29 and CVC3 1.5.)
SPASS+T Version 2.2.22 for Linux.