--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on November 2011 ---
Hello Stephen, after downloading and installing the prover you have to call why-config. Regards Jens On 29.11.2011, at 18:43, Stephen Siegel wrote: > 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 > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss