How do you assure that Solver will find the optimal solution $($if one exists$)$ for an optimization model with integer decision variables?

Use only equality relations for all constraints.

Set the objective function to equal $0.$

Set the Integer Optimality $(\%)$ to $0$ in Solver Options.

Select the checkbox to Ignore Integer Constraints in the Solver Options.