Welcome to IDP-Z3’s Reference Manual¶

This document describes the IDP-Z3 ecosystem for FO(.). Other learning resources include:

IDP-Z3 by example.
the FO[.] standard

Feel free to contact us on our Matrix channel if you have any question on this documentation.

Contents:

Indices and tables¶

Read the Docs v: latest

Versions: latest; stable; 0.10.11; 0.10.10; 0.10.9; 0.10.8; 0.10.7; 0.10.6; 0.10.5; 0.10.4; 0.10.3; 0.10.2; 0.10.1; 0.10.0; 0.9.2; 0.9.1; 0.9.0; 0.8.4; 0.8.3; 0.8.2; 0.8.1; 0.8.0; 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: pdf

On Read the Docs: Project Home; Builds