IDP-Z3
0.9.0
Contents:
Introduction
The FO(
·
) Language
Python API
Command Line Interface
Interactive Consultant
Appendix: IDP-Z3 developer reference
Architecture
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
Index
IDP-Z3
»
Appendix: IDP-Z3 developer reference
»
idp_engine
module
»
idp_engine.idp_to_Z3
Edit on GitLab
idp_engine.idp_to_Z3
ΒΆ
Translates AST tree to Z3
TODO: vocabulary