Evaluates the constraint against the provided inputs and generates a formatted string reporting the result (LHS, RHS, and Violation).
A formatted report string.
The map of input variables.