Format Template

Provide the Name Here (Input/Output)

Remove Input/ if it is an output format only, /Output if it is an output format only

Due to the variety of formats, the template is fairly relaxed. Try to provide all the relevant information, or refer to an external link for all the detailed information. In any way, provide enough information directly here so that readers can get an intuition of the format.

Names

Short Description

Syntax

Semantics

Other Information

Are there several versions? How do they differ?

Example

Provide here a short example of an input or proof

External Links

Provide here the official link to the format

References

Systems using this format

Tools

Add here a one line description of the tools around the format (e.g. tools to check syntax, parsers, visualization tools...) together with a link.

Erase this section if empty.