[llvm-dev] [GSoC] Clang Static Analyzer constraint solver improvements

[Manas via llvm-dev]

Hi, I am a pre-final year undergraduate of Computer Science. I have been
taking a look at the CSA constraint solver improvements project. I am in
the mid of completing my decision procedures course at university. I
have fundamental knowledge of solvers. I think I can contribute to this 
project effectively.

How can I contact Valeriy Savchenko to discuss further?

Thank you
-- 
Manas
CSAM Undergraduate | 2022
IIIT-Delhi, India