Go to the source code of this file.
Namespaces | |
z3py | |
Variables | |
Z3_DEBUG = __debug__ | |
_main_ctx = None | |
tuple | sat = CheckSatResult(Z3_L_TRUE) |
tuple | unsat = CheckSatResult(Z3_L_FALSE) |
tuple | unknown = CheckSatResult(Z3_L_UNDEF) |
_dflt_rounding_mode = Z3_OP_FPA_RM_TOWARD_ZERO | |
Floating-Point Arithmetic. More... | |
int | _dflt_fpsort_ebits = 11 |
int | _dflt_fpsort_sbits = 53 |