solver_to_string method

Z3_string solver_to_string(Z3_context c, Z3_solver s)

\brief Convert a solver into a string.

\sa Z3_solver_from_file \sa Z3_solver_from_string

def_API('Z3_solver_to_string', STRING, (_in(CONTEXT), _in(SOLVER)))

Implementation

Z3_string solver_to_string(
  Z3_context c,
  Z3_solver s,
) {
  return _solver_to_string(
    c,
    s,
  );
}