IDP-Z3
0.5.5
Contents:
Introduction
The IDP Language
Command Line Interface
Index
IDP-Z3
Docs
»
Welcome to IDP-Z3’s documentation!
Edit on GitLab
Welcome to IDP-Z3’s documentation!
¶
Contents:
Introduction
Installation using poetry
Installation using pip
The IDP Language
Overview
Shebang
Environment
Vocabulary
Theory
Structure
Display
Main block
Differences with IDP3
Command Line Interface
Index
Indices and tables
¶
Index
Search Page
Read the Docs
v: 0.5.5
Versions
latest
stable
0.5.5
0.5.4
0.5.3
Downloads
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.