Full-surface Z3 4.16.0 WASM bindings — zero dependencies. User propagators, clause streaming, chainable DSL, exact model inspection.
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).
RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank
z3-solver fork used in js-randomness-predictor
An MIT-licensed full-pipeline PCB autorouter for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
MCP server providing Z3 SMT solver capabilities
Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.
General satisfiability solver for logic problems
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.
JavaScript library for easy integration with the API of 2captcha captcha solving service to bypass reCAPTCHA, hCaptcha, funcaptcha, geetest and solve any other captchas.
A high density zero-obstacle solver
Solve for the correct positions and routing for schematic traces and net labels. For use inside [@tscircuit/core](https://github.com/tscircuit/core)
The runtime for GenAIScript, providing the core functionality and APIs for executing scripts.
Read more about this solver here: https://blog.autorouting.com/p/the-intersection-jump-autorouter
Predict the output of Math.random
Code-first parametric CAD for JavaScript/TypeScript, in the browser and CLI.
Formal policy verification for txfence. Bounded model checking with counterexample generation and adversarial stress testing across six attack vectors.
A dependency solver for the elm ecosystem
Cloudflare bypass wrapper, by nath
Node.js binding for the HiGHS optimization solver
A Javascript wrapper with a Z3-ish API for SMT-LIB 2.0, the language of Satisfiability Modulo Theories solvers
This directory contains JavaScript code to automatically derive TypeScript bindings for the C API, which are published on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).