Package: grilops
grilopsa GRId LOgic Puzzle Solver library, using Python 3 andz3.This package contains a collection of libraries and helper functions that are
useful for solving and checkingNikoli-style logic puzzles
using z3.To get a feel for how to use this package to model and solve puzzles, try
working through thetutorial IPython
notebook,
and refer to theexamplesand theAPI Documentation.Installationgrilops requires Python 3.6 or later.To install grilops for use in your own programs:$ pip3 install grilopsTo install the source code (to run the examples and/or work with the code):$ git clone https://github.com/obijywk/grilops.git
$ cd grilops
$ pip3 install -e .Basic Concepts and UsageThesymbols,geometry, andgridsmodules contain the core functionality
needed for modeling most puzzles. For convenience, their attributes can be
accessed directly from the top-levelgrilopsmodule.Symbols represent the marks that are determined and written into a grid by a
solver while solving a puzzle. For example, the symbol set of aSudokupuzzle would be the digits 1
through 9. The symbol set of a binary determination puzzle such asNurikabecould contain two
symbols, one representing a black cell and the other representing a white cell.The geometry module defines Lattice classes that are used to manage the shapes
of grids and relationships between cells. Rectangular and hexagonal grids are
supported, as well as grids with empty spaces in them.A symbol grid is used to keep track of the assignment of symbols to grid
cells. Generally, setting up a program to solve a puzzle using grilops involves:Constructing a symbol setConstructing a lattice for the gridConstructing a symbol grid in the shape of the lattice, limited to contain
symbols from the symbol setAdding puzzle-specific constraints to cells in the symbol gridChecking for satisfying assignments of symbols to symbol grid cellsGrid cells are exposed as z3 constants, so built-in z3 operators can and should
be used when adding puzzle-specific constraints. In addition, grilops provides
several modules to help automate and abstract away the introduction of common
kinds of constraints.PathsThegrilops.pathsmodule is helpful for adding constraints that ensure
symbols connect to form paths through the grid. These paths may be either
closed (loops) or open ("terminated" paths). Some examples of puzzle types for
which this is useful areNumberlinkandSlitherlink.$ python3 examples/numberlink.py        $ python3 examples/slitherlink.py
┌─┐4──┐                                 ┌──┐
│3└─25│                                 │┌┐│ ┌┐
│└─31││                                 └┘│└┐││
│┌─5│││                                   │ └┘│
││┌─┘││                                   └┐  │
││1┌─┘│                                 ┌──┘┌┐│
2└─┘4─┘                                 └───┘└┘

Unique solution                         Unique solutionRegionsThegrilops.regionsmodule is helpful for adding constraints that ensure
cells are grouped into orthogonally contiguous regions (polyominos) of variable
shapes and sizes. Some examples of puzzle types for which this is useful areNurikabeandFillomino.$ python3 examples/nurikabe.py          $ python3 examples/fillomino.py 
2 █   ██ 2                              8 8 3 3 101010105               
███  █2███                              8 8 8 3 1010105 5               
█2█ 7█ █ █                              3 3 8 10104 4 4 5               
█ ██████ █                              1 3 8 3 102 2 4 5               
██ █  3█3█                              2 2 8 3 3 1 3 2 2               
 █2████3██                              6 6 2 2 1 3 3 1 3               
2██4 █  █                               6 4 4 4 2 2 1 3 3               
██  █████                               6 4 2 2 4 3 3 4 4               
█1███ 2█4                               6 6 4 4 4 1 3 4 4               
                                                                        
Unique solution                         Unique solutionShapesThegrilops.shapesmodule is helpful for adding constraints that ensure
cells are grouped into orthogonally contiguous regions (polyominos) of fixed
shapes and sizes. Some examples of puzzle types for which this is useful areBattleshipandLITS.$ python3 examples/battleship.py        $ python3 examples/lits.py
     ▴                                        IIII
◂▪▸  ▪ •                                   SS  L  
     ▾                                   LSS   L I
◂▪▪▸   •                                 L IIIILLI
                                         LL   L  I
 ▴    ◂▸                                  TTT L  I
 ▾ ▴                                    SS T LL  T
   ▾ •                                   SSLL   TT
                                            L T  T
Unique solution                         IIIILTTT

                                        Unique solutionSightlinesThegrilops.sightlinesmodule is helpful for adding constraints that ensure
properties hold along straight lines through the grid. These "sightlines" may
terminate before reaching the edge of the grid if certain conditions are met
(e.g. if a certain symbol, such as one representing a wall, is
encountered). Some examples of puzzle types for which this is useful areAkariandSkyscraper.$ python3 examples/akari.py             $ python3 examples/skyscraper.py 
█* █*    █                              23541                            
   *   █                                15432                            
*█*   █  *                              34215                            
 *█  █   █                              42153                            
   ███*                                 51324                            
   *███*                                                                 
█ * █* █*                               Unique solution
*  █*   █*
  █     * 
█ *   █* █

Unique solution