OCL2Kodkod plugin

Help
2012-02-08
2013-04-29
  • Mustafa Al Lail

    Mustafa Al Lail - 2012-02-08

    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

     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks