Showing 1-20 of 837 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).
z3-solver fork used in js-randomness-predictor
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).
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
To install dependencies:
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.
Predict the output of Math.random
An MIT-licensed full-pipeline PCB autorouter library for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)
Neuro-symbolic AI for hybrid neural-symbolic reasoning
A dependency solver for the elm ecosystem
Solve for the correct positions and routing for schematic traces and net labels. For use inside [@tscircuit/core](https://github.com/tscircuit/core)
Read more about this solver here: https://blog.autorouting.com/p/the-intersection-jump-autorouter
JavaScript library for easy integration with the API of 2captcha captcha solving service to bypass reCAPTCHA, hCaptcha, funcaptcha, geetest and solve any other captchas.
Formal verification tools for MUSUBIX - Z3 integration, precondition/postcondition verification, and EARS-to-SMT conversion
MCP server providing Z3 SMT solver capabilities
Automatically solve GitHub issues using Claude Code
Yet another linear programming solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.
The Eco Routes 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.