User cuts and lazy constraints are similar but have some important differences.

**User cuts**help tighten a MIP by removing fractional solutions. They are not required for the model, but they can help a MIP solve faster.**Lazy constraints**are required for the model: the model would be incorrect without these constraints. For some models, it is helpful to designate some constraints as lazy when it is computationally faster to include them only when they are violated. Generally, this for models that contain a relativey large number of constraints, most of which are trivially satisfied.

## User cuts

A user cut should *never* eliminate an integer solution that would otherwise be feasible. Thus, the model plus all possible user cuts should have exactly the same set of integer feasible solutions as the model without user cuts.

## Lazy constraints

In contrast, lazy constraints are usually used to eliminate integer solutions that are otherwise feasible. Adding lazy constraints will affect the set of integer feasible solutions. Note that if you add lazy constraints via a callback, you *must* set the parameter `LazyConstraint=1`. Otherwise, Gurobi might apply dual presolve reductions that are not valid for the lazy constraints.

If you set `LazyConstraint=1` without adding any lazy constraints, then the algorithmic behavior of Gurobi will change (due to implicitly disabling dual presolve reductions), but the optimal objective value should not change.

Finally, note that you can add lazy constraints directly to the model and have Gurobi treat them as lazy by setting the Lazy *attribute* on these constraints. In this case, it is not necessary to set the `LazyConstraint` parameter.