RAHD: A Proof Procedure Framework for Nonlinear Real Arithmetic

Google Code Mercurial Repository: rahd.googlecode.com

Build / Installation Instructions: build.html

Mailing List: rahd-users

Passmore's PhD Thesis: passmore-phd-thesis.pdf

Passmore's Homepage: www.cl.cam.ac.uk/~gp351