DEV Community

# z3

Posts

ūüĎč Sign in for the ability to sort posts by relevant, latest, or top.
Break XOR Cipher with Z3

Break XOR Cipher with Z3

1
Comments
3 min read
Break Caesar Cipher with Z3

Break Caesar Cipher with Z3

2
Comments
3 min read
Open Source Adventures: Episode 74: Crystal Z3 Solver for Light Up Puzzle

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

7
Comments
4 min read
Open Source Adventures: Episode 73: How to solve Light Up Puzzle with math

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

6
Comments
5 min read
Open Source Adventures: Episode 72: Crystal Z3 Solver for Dominosa Puzzle

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

4
Comments
3 min read
Open Source Adventures: Episode 71: Improving Crystal Z3 Shard

Open Source Adventures: Episode 71: Improving Crystal Z3 Shard

7
Comments
4 min read
Open Source Adventures: Episode 70: Crystal Z3 Solver for Nonograms Puzzle

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

6
Comments
4 min read
Open Source Adventures: Episode 69: Crystal Z3 Solver for Aquarium Puzzle

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

8
Comments
3 min read
Open Source Adventures: Episode 68: Crystal Z3 Solver for Switches Puzzle

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

8
Comments
3 min read
Open Source Adventures: Episode 67: Crystal Z3 Solver for Tents Puzzle

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

9
Comments
4 min read
Open Source Adventures: Episode 66: Crystal Z3 Solver for Mosaic Puzzle

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

10
Comments
2 min read
Open Source Adventures: Episode 65: Crystal Z3 Solver for Minesweeper Puzzle

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

6
Comments
4 min read
Open Source Adventures: Episode 64: How to write Z3 Solvers for Puzzle Games?

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

8
Comments
5 min read
Open Source Adventures: Episode 12: Crystal Shard for Z3

Open Source Adventures: Episode 12: Crystal Shard for Z3

9
Comments
1 min read
Open Source Adventures: Episode 11: Bit Vectors support for Crystal Z3

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

8
Comments
9 min read
Open Source Adventures: Episode 10: Real Numbers supports for Crystal Z3

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

8
Comments
3 min read
Open Source Adventures: Episode 09: Data Extraction Support for Crystal Z3

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

9
Comments 3
3 min read
Open Source Adventures: Episode 08: Extending Crystal Z3 for Booleans

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

5
Comments
6 min read
Open Source Adventures: Episode 06: How my crystal-z3 compares with bcardiff's crystal-z3

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

7
Comments 5
3 min read
Open Source Adventures: Episode 05: Sudoku Solver in Crystal Z3

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

7
Comments 6
6 min read
Open Source Adventures: Episode 07: Specs For Crystal Z3

Open Source Adventures: Episode 07: Specs For Crystal Z3

6
Comments
5 min read
Open Source Adventures: Episode 03: Object-Oriented Interface for Crystal Z3

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

10
Comments 4
6 min read
Open Source Adventures: Episode 04: Automated Type Conversion for Crystal Z3

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

8
Comments 2
6 min read
Open Source Adventures: Episode 02: Hiding Low Level Concerns for Crystal Z3

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

13
Comments 3
6 min read
Open Source Adventures: Episode 01: Crystal FFI and Z3

Open Source Adventures: Episode 01: Crystal FFI and Z3

14
Comments
6 min read
100 Languages Speedrun: Episode 23: Ruby Z3

100 Languages Speedrun: Episode 23: Ruby Z3

7
Comments
10 min read
loading...