add Why3, EasyCrypt, GNATprove, Krakatoa, BWare, alloy, Synthia, BACH, Gappa, Kodkod, CVC4, CVC3, ERGO, Simplify, ROSETTE, Leon, AutoBayes