GRId LOgic Puzzle Solver
Project description
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](https://en.wikipedia.org/wiki/Nikoli_(publisher)-style logic puzzles using z3.
Refer to the examples and the API Documentation to learn more.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Filename, size | File type | Python version | Upload date | Hashes |
---|---|---|---|---|
Filename, size grilops-0.1.4-py3-none-any.whl (11.1 kB) | File type Wheel | Python version py3 | Upload date | Hashes View |
Filename, size grilops-0.1.4.tar.gz (7.6 kB) | File type Source | Python version None | Upload date | Hashes View |