Collection of puzzles transformed into constraint satisfaction problems (CSPs) and solved using Google's or-tools