grilops (pypi): GRId LOgic Puzzle Solver
Keywords: constraint-solver|puzzle-generator|puzzle-hunt|puzzle-solver|python|python3|sudoku-solver|z3|z3py