$ 0 0 What is constraint solver in SV? What is the meaning of statement if we say that "SV is having powerful constraint solver"?