General satisfiability solver for logic problems

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

Logic solver for mobilix filters

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.

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

A dependency solver for the elm ecosystem

An MIT-licensed full-pipeline PCB autorouter for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)

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

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

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.

Headless API for resilient static dead-code analyzer for TypeScript and JavaScript workspaces.

Resilient static dead-code analyzer for TypeScript and JavaScript workspaces.

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.

Pure JavaScript game engine. Fully featured and production ready.

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

Floating UI for the web