The documentation for Googles OR tools comes with many interesting examples of constraint problems, e.g.

https://developers.google.com/optimization/lp/stigler_diet