jcabot/ocl-repository — pull request #4 by lschuetze (2014-09-09 13:07:26+00:00)
Title: added Dresden OCL SEPA Example

This are rather complex constraints adopted in a case study. They are shipped with Dresden OCL under the LGPL v3.

Tell me if I should change the folder name "DresdenOCL-SEPA-Example" to something else.