smaaliSahar

Hi, thank you for your answer. Actually, I know how to use K and I have defined my own language. Now, I want to use Z3 solver interface but I...

Thank you for your help