Uwe Waldmann – Software


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.

Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2014-09-10.