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.