adventures and experiments in bringing new puzzles to life
๐ต
/
๐๐ยท
Square Routes playtesting is just about happening!
1
๐ฎ
๐๐กยท
Here's a link to the Sudoku rules I'm using for my experiments, written in my Sapphire logic syntax. So far, Sapphire supports first order formulae, integer
โฐ
operations and sets of integers. My ad-hoc "Silver Solver" supports partial evaluation and rewriting to try to find a satisfying model.