Slide 1 PROOF TRANSLATION AND SMT LIB CERTIFICATION Yeting Ge Clark Barrett SMT 2008 July 7 Princeton Slide 2 SMT solvers are more complicated CVC3 contains over 100,000…
