Alt-Ergo Documentation
Contents
Install
Usage
SMT-LIB language
Alt-Ergo's native language
Summary
Declaration of symbols
Types
Declaration of axioms
Setting goals
Theories
Control Flow
Syntax of declarations and expressions
Model generation
Optimization
API documentation
Plugins
Developer's documentation
About
Alt-Ergo Documentation
Alt-Ergo’s native language
Syntax of declarations and expressions
Syntax of declarations and expressions
[TODO: intro + all] [Full definition of the syntax in (restricted) BNF]