Solver Packages

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).

Yet another linear programming solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.

The Ecoism protocol is a decentralized intent based system that allows users to submit their intent to the network and have it fulfilled by a solver on the destination rollup of their choise.

Sudoku solver

Primary backend router for Plug intents and packaged SDK for external use.

Simple sudoku solver

Sudoku puzzle generator and solver

Yet Another Sudoku Solver

Linko game solver

Sudoku Solver

A wasm build and a simple wrapper of the FreeCAD PlaneGCS (2D geometric constraint solver)

Linear congruence equasions solver

Node.js module that enables solving numeric, alphanumeric, Google reCAPTCHA, and more using multiple services, including Anti-Captcha and 2Captcha.

Mixed Integer Linear Programming Solver

JS Port of OSQP library using Emscripten

A wrapper for RazorCap captcha solver

A Rust Boggle solver compiled to WebAssembly!

This is a simple SAT solver with a string based interface, built for easy access. It tries to parse many different commenly used syntaxes into a AST and then solves the problem, returning one or all solutions. You may also only use the AST and provide a s

A 3x3x3 Rubik's Cube library

Solver for Unblock Me / Rush Hour style puzzle games in JavaScript.