#z3

Most developers trust this pipeline: source code ↓ compiler ↓ binary Enter...

In previous post, I showed how to break Caesar cipher with Z3. This wasn't really all that exciting...

This is the final episode with Crystal Z3 solvers, at least for now. In previous episode I showed...

Light Up (Akari) is a simple puzzle with following rules: there's a grid of cells some cells are...

Dominosa is a puzzle with simple rules: there's a grid filled with numbers you need to pair those...

While writing various puzzle game solvers in Crystal Z3 I discovered two big issues: I frequently...

Nonograms is one of more popular puzzles. there's a grid of cells, you need do fill some of...

Aquarium is a puzzle with following rules: there's a grid of cells, belonging to various water...

This time something a bit different. I've seen variants of this puzzle as a minigame in a lot of...

Let's do a more complex puzzle - Tents. Here are the rules: there's a grid of cells, we need to...

Mosaic Puzzle is really close to Minesweeper Puzzle we did in the previous episode. Logically the...

Let's write some puzzle solvers. This time - Minesweeper Puzzle. Minesweeper puzzle differs from the...