Contents:
idp_engine
idp_server
Methods to annotate the Abstract Syntax Tree (AST) of an IDP-Z3 program.