pySMT: A library for SMT formulae manipulation and solving
Links to tools by subject
The Yices SMT Solver
OCamlPro public development repository for Alt-Ergo
CoreIR Symbolic Analyzer