Para compilar a versao linux do Harvey

baixar:

* TOM

em tom.loria.fr

* E prover 

em www.eprover.org

minisat em minisat.se // segundo david vem junto do harvey.zip que me passou