Open Source Adventures: Episode 69: Crystal Z3 Solver for Aquarium Puzzle

Aquarium is a puzzle with following rules: there's a grid of cells, belonging to various water containers each cell can contain water or not each container is filled to some level, that is - if a cell in a container has water, then every cell in the...