Contents:
idp_engine
idp_web_server
Methods to annotate the Abstract Syntax Tree (AST) of an IDP-Z3 program.
replace old variables by new variables (ignoring arguments in the head before the it
self (Rule) –
subs (dict[str, Expression]) –