Solving a Crackme using Z3: Theorem Prover 11 years agoYes I totally agree, I just kept the file original name. 0ThreadHN