solver_add_simplifier method

Z3_solver solver_add_simplifier(
  1. Z3_context c,
  2. Z3_solver solver,
  3. Z3_simplifier simplifier
)

\brief Attach simplifier to a solver. The solver will use the simplifier for incremental pre-processing.

def_API('Z3_solver_add_simplifier', SOLVER, (_in(CONTEXT), _in(SOLVER), _in(SIMPLIFIER)))

Implementation

Z3_solver solver_add_simplifier(
  Z3_context c,
  Z3_solver solver,
  Z3_simplifier simplifier,
) {
  return _solver_add_simplifier(
    c,
    solver,
    simplifier,
  );
}