OCL2Kodkod plugin

Help
2012-02-08
2013-04-29
  • Hi,

    I am interested in using the OCL2Kodkod plugin. I would appreciate providing some information on how to obtain it and use it.

    Regards,
    Mustafa

     
  • mkuhlmann
    mkuhlmann
    2012-02-08

    Hi,

    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.

    Best regards,
    Mirco