Displaying 1 result from an estimated 1 matches for "8201b59f".
2018 Feb 17
1
GSOC 2018 Introduction
Hello all,
My name is Ashish Kumar Gahlot and I am a final year undergraduate student
of Engineering College Ajmer(Rajasthan, India) majoring in
Computer Science.
I am interested in working on project *Integrate with Z3 SMT solver to
reduce false positives *for GSOC 2018. I am having experience with SMT
solvers as I play CTFs and have used z3 to solve reverse engineering
problems.
How can I