Function Z3_simplify 

pub unsafe extern "C" fn Z3_simplify(
    c: Z3_context,
    a: Z3_ast,
) -> Option<Z3_ast>

Interface to simplifier.

Provides an interface to the AST simplifier used by Z3. It returns an AST object which is equal to the argument. The returned AST is simplified using algebraic simplification rules, such as constant propagation (propagating true/false over logical connectives).

See also:

• Z3_simplify_ex