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 contact the mentors for this project and get started?
Looking forward to your response to get started 
Thanks & Regards,
Ashish Kumar Gahlot
