Here is a list of all namespace variables with links to the namespace documentation for each variable:
- _dflt_fpsort_ebits : z3py
- _dflt_fpsort_sbits : z3py
- _dflt_rounding_mode : z3py
- _main_ctx : z3py
- _my_hacky_class : z3py
- _on_clause_eh : z3py
- _on_model_eh : z3py
- _on_models : z3py
- _prop_closures : z3py
- _ROUNDING_MODES : z3py
- _user_prop_created : z3py
- _user_prop_decide : z3py
- _user_prop_diseq : z3py
- _user_prop_eq : z3py
- _user_prop_final : z3py
- _user_prop_fixed : z3py
- _user_prop_fresh : z3py
- _user_prop_pop : z3py
- _user_prop_push : z3py
- sat : z3py
- unknown : z3py
- unsat : z3py
- Z3_DEBUG : z3py