SPASS+T is an extension of the superposition-based theorem prover
SPASS that enlarges the reasoning capabilities of SPASS
using both an arbitrary SMT procedure and built-in simplification rules
and standard axioms for arithmetic.
We discuss new developments in SPASS+T, including an advanced coupling
between SPASS and the SMT procedure, additional inference rules, and
a new term ordering.