General satisfiability solver for logic problems

A typescript Sudoku package for generating, solving (step-by-step or all), and analyzing Sudoku boards with ease. Perfect for building Sudoku games and integrating Sudoku functionality into your applications.

Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver

prototype - a simple Sudoku app rendered in Stencil and Tailwind

RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank

A fast Sudoku solver written in TypeScript.

> TODO: description

Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.

Sudoku generator and solver for node.js and Web

A efficient Sudoku solver and creator.

This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).

sudoku solver and generator

An MIT-licensed full-pipeline PCB autorouter for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)

Solves PCB copper pour regions from Circuit JSON or from a small geometry input format, returning `pcb_copper_pour`-ready B-Rep shapes.

Sudoku puzzle generator

Sudoku solver in javascript.

Solve for the correct positions and routing for schematic traces and net labels. For use inside [@tscircuit/core](https://github.com/tscircuit/core)

A dependency solver for the elm ecosystem

Simple sudoku solver

JavaScript library for easy integration with the API of 2captcha captcha solving service to bypass reCAPTCHA, funcaptcha, geetest and solve any other captchas.