Open Source Adventures: Episode 72: Crystal Z3 Solver for Dominosa Puzzle Post date July 10, 2022 Post author By Tomasz Wegrzanowski Post categories In crystal, z3
Open Source Adventures: Episode 67: Crystal Z3 Solver for Tents Puzzle Post date July 4, 2022 Post author By Tomasz Wegrzanowski Post categories In crystal, z3
Open Source Adventures: Episode 66: Crystal Z3 Solver for Mosaic Puzzle Post date July 3, 2022 Post author By Tomasz Wegrzanowski Post categories In crystal, z3
Open Source Adventures: Episode 09: Data Extraction Support for Crystal Z3 Post date March 5, 2022 Post author By DEV Community Post categories In crystal, ruby, z3
Sciencx
Sciencx