Mustafa Al Lail
I am interested in using the OCL2Kodkod plugin. I would appreciate providing some information on how to obtain it and use it.
we are currently reorganizing and extending the model validator (with respect to fundamental features and its usability). We will inform you when a final version is available.