grilops

A Grid Logic Puzzle Solver library, using Typescript and z3.

Browse on unpkg