grilops

This is a WIP port of obijywk/grilops to TypeScript.

A Grid Logic Puzzle Solver library, using Typescript 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.

About this port

The API of this TypeScript verison is mostly consistent with the Python version, with snake_case identifiers renamed to camelCase by JS/TS conventions.

One notable difference is that the TypeScript version does not come with its own z3 context, so you have to initialize z3 and its context according to z3-solver's documentation and pass it into grilops. You can either pass the context into individual grilops functions/classes that need it, or get contextualized versions of all grilops features with this snippet:

import{init}from'z3-solver';import{grilops}from'../lib';// initialize z3const{Z3, Context }=awaitinit();constctx=Context('main');// initialize grilopsconst{/* grilops exports */}=grilops({z3: Z3,context: ctx,});

Progress

The following modules have been ported from Python:

• geometry
• grids
• symbols
• quadTree
• sightlines
• shapes
• regions
• paths (buggy)

The follow modules are mising

• loops

Development

Bun >=v1.1.0 is required for this project.

# 1. Clone this repository
git clone https://github.com/hlysine/grilops.git
# 2. Restore dependenciescd grilops
bun install
# 3. Run the dev server
bun dev
# You can now develop with hot module reload

Library code is located in /lib. A test rig can be found in /src which loads the library in a browser.