Metadata-Version: 2.1
Name: grilops
Version: 0.1.4
Summary: GRId LOgic Puzzle Solver
Home-page: https://github.com/obijywk/grilops
Author: Matt Gruskin
Author-email: matthew.gruskin@gmail.com
License: MIT
Platform: UNKNOWN
Description-Content-Type: text/markdown

# 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.


