Metadata-Version: 2.1
Name: grilops
Version: 0.1.5
Summary: GRId LOgic Puzzle Solver
Home-page: https://github.com/obijywk/grilops
Author: Matt Gruskin
Author-email: matthew.gruskin@gmail.com
License: MIT
Description: # grilops
        
        a GRId LOgic Puzzle Solver library, using Python 3 and
        [z3](https://github.com/Z3Prover/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.
        
        Refer to the
        [examples](https://github.com/obijywk/grilops/tree/master/examples) and the
        [API Documentation](https://obijywk.github.io/grilops/) to learn more.
        
Platform: UNKNOWN
Description-Content-Type: text/markdown
