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

Dec 31 '22

Break Caesar Cipher with Z3

#z3 #ruby

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

Tomasz Wegrzanowski

Mar 5 '22

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

#crystal #ruby #z3

3 min read

Tomasz Wegrzanowski

Mar 5 '22

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

#crystal #ruby #z3

6 min read

Tomasz Wegrzanowski

Mar 3 '22

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

#crystal #ruby #z3

3 min read

Tomasz Wegrzanowski

Mar 3 '22

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

#crystal #ruby #z3

6 min read

Tomasz Wegrzanowski

Mar 4 '22

Open Source Adventures: Episode 07: Specs For Crystal Z3

#crystal #ruby #z3

5 min read

Tomasz Wegrzanowski

Mar 2 '22

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

#ruby #crystal #z3

6 min read

Tomasz Wegrzanowski

Mar 2 '22

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

#crystal #ruby #z3

6 min read

Tomasz Wegrzanowski

Mar 1 '22

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

#ruby #crystal #z3

6 min read

Tomasz Wegrzanowski

Mar 1 '22

Open Source Adventures: Episode 01: Crystal FFI and Z3

#programming #crystal #z3 #ruby

6 min read

Tomasz Wegrzanowski

Dec 14 '21

100 Languages Speedrun: Episode 23: Ruby Z3

#ruby #z3

10 min read

loading...