Some puzzles solved using ortools.