IDP-Z3
0.9.1
Contents:
Introduction
The FO(
·
) Language
IDP-Z3
Interactive Consultant
Appendix: IDP-Z3 internal reference
Appendix: Syntax summary
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_engine module
The FO(
·
) Language
Overview
Shebang
Vocabulary
Types
Functions
Built-in functions
Predicates
Propositions and Constants
Include another vocabulary
Symbol annotations
Theory
Mathematical expressions and Terms
Sentences and axioms
Definitions
Annotations
Structure
Differences with IDP3
IDP-Z3
webIDE
Main block
idp_engine
functions
Theory class
Command Line Interface
Python API
IDP class
Interactive Consultant
Display block
Environment & Decision
Default Structure
Appendix: IDP-Z3 internal reference
Architecture
Web clients
Read The Docs, Homepage
IDP-Z3 server
IDP-Z3 engine
Z3
Appendix: Dependencies and Licences
idp_engine
module
idp_engine.Parse
idp_engine.Expression
idp_engine.Annotate
idp_engine.Interpret
idp_engine.Simplify
idp_engine.Propagate
idp_engine.idp_to_Z3
idp_engine.Problem
idp_engine.Assignments
idp_engine.Run
idp_engine.utils
idp_server
module
idp_server.Inferences
idp_server.IO
idp_server.rest
idp_server.State
Appendix: Syntax summary
Index
Indices and tables
¶
Index
Search Page
Read the Docs
v: 0.9.1
Versions
latest
stable
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
On Read the Docs
Project Home
Builds