Constraint Programming

2017-12-09 Using Constraint Programming Tools to solve an ancient Chinese math puzzle