Welcome to the Clafer to CQL transformation tool

You can download a working Clafer example (i.e., a Router SPL) to test it and follow similar notation:

You can also download the transformed CQL model (i.e., the Router categorical SPL) to check what you can expect to receive after the transformation:

Please keep in mind that CQL IDE is not currently supporting others than mandatory and XOR Clafer cardinalities. Additionally, it is a prototype and bug are expected -- not meaning common. If they arise please contact us.