Tomasz Węgrzanowskitaw.hashnode.dev·Jul 16, 2022Open Source Adventures: Episode 74: Crystal Z3 Solver for Light Up PuzzleThis is the final episode with Crystal Z3 solvers, at least for now. In previous episode I showed how to solve Lights Up puzzle with math, now it's time to write a Crystal Z3 solver. Light Up (Akari) is a simple puzzle with following rules: there's ...Open Source AdventurescrystalAdd a thoughtful commentNo comments yetBe the first to start the conversation.