--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on November 2011 ---
I am using the binary Carbon release for OS X. How do I install a new prover----e.g., Simplify? Right now I have alt-ergo and CVC3 just working (I didn't have to do anything). Thx, Steve