General satisfiability solver for logic problems

Logic solver for mobilix filters

A fork of logic-solver that is compiled to wasm instead of JS with additional features

functional logic solver with builtin parser

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

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

A dependency solver for the elm ecosystem

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

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

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

An MIT-licensed PCB autorouter made for usage with [tscircuit](https://github.com/tscircuit/tscircuit). This is the builtin autorouter.

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

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

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.

BGA fanout solver with coordinated bus-layer escapes for SimpleRouteJson

Convert trace waypoints into curvy traces maximizing trace-to-trace and trace-to-obstacle distance

A high density zero-obstacle solver

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

TypeScript definitions for json-logic-js