SMT solver – Petaya ransomware decryptor #1 Post by flyinghorse » Tue, Apr 12, 2016, 7:29 PM UTC SMT solver – Petaya ransomware decryptorpastebin.com