Input file formats

Alt-ergo supports different input languages:

  • The original input language is its native language, based on the language of the Why3 platform and detailed below.

  • Alt-ergo supports the SMT-LIB language v2.6. Since version 2.5.0, improved support is provided by the Dolmen frontend, available with the --frontend dolmen option.

  • It also (partially) supports the input language of Why3 through the AB-Why3 plugin.