Constraint programming model of peg solitaire