Skip to content

DEV Community

# z3

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Tomasz Wegrzanowski

Jan 1 '23

Break XOR Cipher with Z3

#ruby #z3

3 min read

Tomasz Wegrzanowski

Jul 16 '22

Open Source Adventures: Episode 74: Crystal Z3 Solver for Light Up Puzzle

#crystal #z3

4 min read

Tomasz Wegrzanowski

Jul 15 '22

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

#crystal #z3

5 min read

Tomasz Wegrzanowski

Jul 10 '22

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

#crystal #z3

3 min read

Tomasz Wegrzanowski

Jul 9 '22

Open Source Adventures: Episode 71: Improving Crystal Z3 Shard

#crystal #z3

4 min read

Tomasz Wegrzanowski

Jul 6 '22

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

#crystal #z3

4 min read

Tomasz Wegrzanowski

Jul 6 '22

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

#crystal #z3

3 min read

Tomasz Wegrzanowski

Jul 4 '22

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

#crystal #z3

3 min read

Tomasz Wegrzanowski

Jul 4 '22

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

#crystal #z3

4 min read

Tomasz Wegrzanowski

Jul 3 '22

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

#crystal #z3

2 min read

Tomasz Wegrzanowski

Jul 3 '22

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

#crystal #z3

4 min read

Tomasz Wegrzanowski

Jun 14 '22

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

#z3 #math #logic

5 min read

Tomasz Wegrzanowski

Mar 7 '22

Open Source Adventures: Episode 12: Crystal Shard for Z3

#crystal #ruby #z3

1 min read

Tomasz Wegrzanowski

Mar 7 '22

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

#ruby #crystal #z3

9 min read

Tomasz Wegrzanowski

Mar 6 '22

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

#ruby #crystal #z3

3 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.