IDP-Z3
0.7.2
Contents:
Introduction
The IDP Language
Command Line Interface
Interactive Consultant
Appendix: IDP-Z3 developer reference
Index
IDP-Z3
»
Welcome to IDP-Z3’s documentation!
Edit on GitLab
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
Read the Docs
v: 0.7.2
Versions
latest
stable
0.7.2
0.7.1
0.7.0
0.6.1
0.5.6
0.5.5
0.5.4
0.5.3
Downloads
On Read the Docs
Project Home
Builds