A Grid Logic Puzzle Solver library, using Typescript and z3.
github.com/logic-pad/grilops
logic-pad/grilops