Operations Research

Using Constraint Programming Tools to solve an ancient Chinese math puzzle