Results for "numerical-solver"

A numerical solver for non-linear systems of equations, utilizing the n-dimensional Newton-Raphson method.

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.

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

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

A dependency solver for the elm ecosystem

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

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.

C APIs for registering a Node-API module exporting an interface for invoking a binary numerical function.

C APIs for registering a Node-API module exporting an interface for invoking a unary numerical function.

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.

Detect native Float64Array support.

Detect native Uint32Array support.

Detect native Uint16Array support.