Automated Theorem Prover for x86_64