# z3

4 min read

Tomasz Wegrzanowski

Jul 4

Open Source Adventures: Episode 68: Crystal Z3 Solver for Switches Puzzle

#crystal #z3

3 min read

Tomasz Wegrzanowski

Jul 3

Open Source Adventures: Episode 65: Crystal Z3 Solver for Minesweeper Puzzle

#crystal #z3

4 min read

Tomasz Wegrzanowski

Jul 15

Open Source Adventures: Episode 73: How to solve Light Up Puzzle with math

#crystal #z3

5 min read

Tomasz Wegrzanowski

Jul 4

Open Source Adventures: Episode 67: Crystal Z3 Solver for Tents Puzzle

#crystal #z3

8

4 min read

Tomasz Wegrzanowski

Jul 3

Open Source Adventures: Episode 66: Crystal Z3 Solver for Mosaic Puzzle

#crystal #z3

9

2 min read

Tomasz Wegrzanowski

Jul 10

Open Source Adventures: Episode 72: Crystal Z3 Solver for Dominosa Puzzle

#crystal #z3

3

3 min read

Tomasz Wegrzanowski

Jul 9

Open Source Adventures: Episode 71: Improving Crystal Z3 Shard

#crystal #z3

4 min read

Tomasz Wegrzanowski

Jul 6

Open Source Adventures: Episode 70: Crystal Z3 Solver for Nonograms Puzzle

#crystal #z3

4 min read

Tomasz Wegrzanowski

Jul 6

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

#crystal #z3

3 min read

Tomasz Wegrzanowski

Jun 14

Open Source Adventures: Episode 64: How to write Z3 Solvers for Puzzle Games?

#z3 #math #logic

8

5 min read

Tomasz Wegrzanowski

Mar 5

Open Source Adventures: Episode 09: Data Extraction Support for Crystal Z3

#crystal #ruby #z3

8 3

3 min read

Tomasz Wegrzanowski

Mar 7

Open Source Adventures: Episode 11: Bit Vectors support for Crystal Z3

#ruby #crystal #z3

9 min read

Tomasz Wegrzanowski

Mar 2

Open Source Adventures: Episode 04: Automated Type Conversion for Crystal Z3

#crystal #ruby #z3

7 2

6 min read

Tomasz Wegrzanowski

Mar 6

Open Source Adventures: Episode 10: Real Numbers supports for Crystal Z3

#ruby #crystal #z3

3 min read

Tomasz Wegrzanowski

Mar 5

Open Source Adventures: Episode 08: Extending Crystal Z3 for Booleans

#crystal #ruby #z3

6 min read

Tomasz Wegrzanowski

Mar 3

Open Source Adventures: Episode 06: How my crystal-z3 compares with bcardiff's crystal-z3

#crystal #ruby #z3

6 5

3 min read

Tomasz Wegrzanowski

Mar 4

Open Source Adventures: Episode 07: Specs For Crystal Z3

#crystal #ruby #z3

5 min read

Tomasz Wegrzanowski

Mar 7

Open Source Adventures: Episode 12: Crystal Shard for Z3

#crystal #ruby #z3

8

1 min read

Tomasz Wegrzanowski

Mar 3

Open Source Adventures: Episode 05: Sudoku Solver in Crystal Z3

#crystal #ruby #z3

6 6

6 min read

Tomasz Wegrzanowski

Mar 2

Open Source Adventures: Episode 03: Object-Oriented Interface for Crystal Z3

#ruby #crystal #z3

9 4

6 min read

Tomasz Wegrzanowski

Mar 1

Open Source Adventures: Episode 02: Hiding Low Level Concerns for Crystal Z3

#ruby #crystal #z3

12 3

6 min read

Tomasz Wegrzanowski

Mar 1

Open Source Adventures: Episode 01: Crystal FFI and Z3

#programming #crystal #z3 #ruby

13

6 min read

Tomasz Wegrzanowski

Dec 14 '21

100 Languages Speedrun: Episode 23: Ruby Z3

#ruby #z3