Who owns the fish?

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving Squares Sudoku using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving 3-In-A-Row using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving Kakuro using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving Calcudoku using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving a Cryptarithmetic puzzle using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving Kakurasu using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving Skyscrapers using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving Numbrix using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.