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-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.5-py3-none-any.whl (11.1 kB) | File type Wheel | Python version py3 | Upload date | Hashes View |
Filename, size grilops-0.1.5.tar.gz (7.6 kB) | File type Source | Python version None | Upload date | Hashes View |