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
How can I contact Valeriy Savchenko to discuss further?