--- layout: fc_discuss_archives title: Message 84 from Frama-C-discuss on October 2013 ---
Hello, 2013/10/23 Alessio Iotti <alle.iot at gmail.com>: > Thanks for the response, but i have another question. > On my computer WP can't prove neither with Nitrogen version nor with > Fluorine version. > This could be due to my computer configuration in particular? Which prover(s) are you using? On my machine (with Fluorine-20130601), alt-ergo (0.95.2) and z3 (4.3.1) are able to discharge everything, but simplify (1.5.4) and cvc3 (2.4.1) aren't. Best regards, -- E tutto per oggi, a la prossima volta Virgile