Package grilops

a GRId LOgic Puzzle Solver library, using Python 3 and z3.

This package contains a collection of libraries and helper functions that are useful for solving and checking Nikoli-style logic puzzles using z3.

See https://github.com/obijywk/grilops to learn more.

Expand source code
"""a GRId LOgic Puzzle Solver library, using Python 3 and z3.

This package contains a collection of libraries and helper functions that are
useful for solving and checking
[Nikoli](https://en.wikipedia.org/wiki/Nikoli_(publisher))-style logic puzzles
using z3.

See https://github.com/obijywk/grilops to learn more.
"""


__pdoc__ = {
  "fastz3": False,
  "quadtree": False,
}


from .geometry import *
from .grids import *
from .symbols import *

Sub-modules

grilops.geometry

This module supports geometric objects useful in modeling grids of cells.

grilops.grids

This module supports constructing and working with grids of cells.

grilops.loops

This module supports puzzles where closed loops are filled into a grid.

grilops.regions

This module supports puzzles that group cells into contiguous regions …

grilops.shapes

This module supports puzzles that place fixed shape regions into the grid.

grilops.sightlines

This module supports puzzles that must check sightlines through grids …

grilops.symbols

This module supports defining symbols that may be filled into grid cells.