Welcome to IDP-Z3’s documentation!

Contents:

• Introduction
  • Installation using poetry
  • Installation using pip
  • Installation of idp_solver module
• The IDP Language
  • Overview
  • Shebang
  • Vocabulary
  • Theory
  • Structure
  • Main block
  • Differences with IDP3
  • Syntax summary
• Command Line Interface
• Interactive Consultant
  • Display
  • Vocabulary annotations
  • Environment
  • Default Structure
• Appendix: IDP-Z3 developer reference
  • Architecture
  • idp_solver module
  • idp_server module
• Index

Indices and tables

• Index
• Search Page