Guide
User Manual:
Open the PDF directly: View PDF
Page Count: 121 [warning: Documents this large are best viewed by clicking the View PDF Link!]
- Introduction
- Quickstart
- Input Languages
- Multi-shot Solving
- Theory Solving
- Examples
- Command Line Options
- Errors, Warnings, and Infos
- Meta-Programming
- Heuristic-driven Solving
- Optimization and Preference Handling
- Solver Configuration
- Future Work
- Complementary Resources
- Differences to the Language of gringo 3
- References
- Index