idp_engine.utils¶
Various utilities (in particular, OrderedSet)
- class Semantics(value)[source]
Semantics for inductive definitions
- NOT_SATISFIABLE = 'Not satisfiable.'
Module that monkey-patches json module when it’s imported so JSONEncoder.default() automatically checks for a special “to_json()” method and uses it to encode the object if found.
- exception IDPZ3Error[source]
raised whenever an error occurs in the conversion from AST to Z3