http

Heuristic Theorem Prover (from SMT-COMP'06)

To build:

make

To run after build:

c-engine < smtlib file

This version is still being debugged. It was originally written around 2006 for a 32 bit environment.