CDL to Clafer translator

Insert your CDL model (in IML format) in the text area below, click on Translate and you will get corresponding Clafer model in the bottom text area.

The source code is available on github.

CDL Code:





Clafer Code: