Input File or Example

• The model must be expressed using Clafer.
• Use the file selector to choose a file. Make sure the extension of the file you are trying to submit is .cfr. Use the button "" next to the file selector to upload, compile, and instantiate the selected file.
• Use the "Or Choose Example..." drop down to select an example and use the button "" next to the example selector to compile and instantiate the example. Check the checkbox "load in editor" to have the example loaded into the source code editor. Otherwise, the example will be compiled and instantiated without affecting the contents of the editor. This is useful for using examples as a reference.
• Use the button "" directly above the source code editor to compile and instantiate the model from the editor.