We extend the AIGER format, as used in HWMCC, to a format that is suitable to
define synthesis problems with safety specifications. We recap the original
format and define one format for posing synthesis problems and one for
solutions of synthesis problems in this setting
