Local reasoning

H-PILoT : a stand-alone local reasoner over theories for Linux.
There is a 64bit version (download) and a 32bit version (download).

(H-PILoT needs one of the provers SPASS, Yices, CVC, Z3 or Redlog).

See manual (pdf) and the (examples).