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.
Source Distribution
grilops-0.1.4.tar.gz
(7.6 kB
view hashes)
Built Distribution
grilops-0.1.4-py3-none-any.whl
(11.1 kB
view hashes)