--- layout: fc_discuss_archives title: Message 76 from Frama-C-discuss on November 2013 ---
As suggested by Virgile, Why3 cannot find the Simplify executable if its names finished with .linux or .macos or whatever. The possible names of provers' executables are not easy to guess. For those who want to know, Why3 looks for the names that are listed in the file /usr/local/share/why3/provers-detection-data.conf - Claude