Tomasz Węgrzanowskitaw.hashnode.dev·Jul 6, 2022Open Source Adventures: Episode 69: Crystal Z3 Solver for Aquarium PuzzleAquarium 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...Open Source AdventurescrystalAdd a thoughtful commentNo comments yetBe the first to start the conversation.