Solving the NYTimes Pips puzzle with a constraint solver

The New York Times recently introduced a new daily puzzle called Pips. The idea is to place a set of dominoes on a grid, satisfying various conditions. For instance, in the puzzle below, the four dominoes must be positioned…