No description provided.
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.
prototype - a simple Sudoku app rendered in Stencil and Tailwind
> TODO: description
A fast Sudoku solver written in TypeScript.
A dependency solver for the elm ecosystem
RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank
Simple sudoku solver
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
No description provided.
Sudoku generator and solver for node.js and Web
Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.
sudoku solver and generator
The Ultimate Mathematical & AI Toolkit: Sublinear algorithms, consciousness exploration, psycho-symbolic reasoning, chaos analysis, and temporal prediction in one unified MCP interface. WASM-accelerated with Lyapunov exponents and attractor dynamics.
Rust dictionary for cspell.
Rust language support for the CodeMirror code editor
Solves for copper pour polygons
JavaScript library for easy integration with the API of 2captcha captcha solving service to bypass reCAPTCHA, funcaptcha, geetest and solve any other captchas.
Super-fast alternative for babel
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 puzzle generator
An MIT-licensed full-pipeline PCB autorouter for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)
A efficient Sudoku solver and creator.