Open Source Adventures: Episode 67: Crystal Z3 Solver for Tents Puzzle

Let's do a more complex puzzle - Tents. Here are the rules: there's a grid of cells, we need to find out which of the cells contain tents puzzle specifies grid size, row hints, column hints, and tree positions every row has a hint how many tents are...