z3_sys
pub unsafe extern "C" fn Z3_algebraic_is_zero(c: Z3_context, a: Z3_ast) -> bool
Return true if a is zero, and false otherwise.
true
a
false
Z3_algebraic_is_value(c, a)
Z3_algebraic_is_value