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