DEV Community

# z3

Posts

ūüĎč Sign in for the ability to sort posts by relevant, latest, or top.
Open Source Adventures: Episode 74: Crystal Z3 Solver for Light Up Puzzle

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

Reactions 6 Comments
4 min read
Open Source Adventures: Episode 68: Crystal Z3 Solver for Switches Puzzle

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

Reactions 7 Comments
3 min read
Open Source Adventures: Episode 65: Crystal Z3 Solver for Minesweeper Puzzle

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

Reactions 5 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

Reactions 5 Comments
5 min read
Open Source Adventures: Episode 67: Crystal Z3 Solver for Tents Puzzle

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

Reactions 8 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

Reactions 9 Comments
2 min read
Open Source Adventures: Episode 72: Crystal Z3 Solver for Dominosa Puzzle

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

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

Open Source Adventures: Episode 71: Improving Crystal Z3 Shard

Reactions 6 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

Reactions 5 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

Reactions 7 Comments
3 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?

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

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

Reactions 8 Comments 3
3 min read
Open Source Adventures: Episode 11: Bit Vectors support for Crystal Z3

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

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

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

Reactions 7 Comments 2
6 min read
Open Source Adventures: Episode 10: Real Numbers supports for Crystal Z3

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

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

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

Reactions 6 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

Reactions 6 Comments 5
3 min read
Open Source Adventures: Episode 07: Specs For Crystal Z3

Open Source Adventures: Episode 07: Specs For Crystal Z3

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

Open Source Adventures: Episode 12: Crystal Shard for Z3

Reactions 8 Comments
1 min read
Open Source Adventures: Episode 05: Sudoku Solver in Crystal Z3

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

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

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

Reactions 9 Comments 4
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

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

Open Source Adventures: Episode 01: Crystal FFI and Z3

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

100 Languages Speedrun: Episode 23: Ruby Z3

Reactions 7 Comments
10 min read
loading...