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.
Log in to post a comment.
Sign up for the SourceForge newsletter:
You seem to have CSS turned off.
Please don't fill out this field.