A utility library providing various array operations.
General satisfiability solver for logic problems
RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank
Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver
Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.
Convert trace waypoints into curvy traces maximizing trace-to-trace and trace-to-obstacle distance
A library for parsing VS Code style problem matchers
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.
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).
An MIT-licensed full-pipeline PCB autorouter for node.js and TypeScript projects. Part of [tscircuit](https://github.com/tscircuit/tscircuit)
Jest utility to mock the console
JavaScript library for easy integration with the API of 2captcha captcha solving service to bypass reCAPTCHA, hCaptcha, funcaptcha, geetest and solve any other captchas.
Allows you to build compile-time libraries
A high density zero-obstacle solver
Recursively merge two dictionaries together
Solve for the correct positions and routing for schematic traces and net labels. For use inside [@tscircuit/core](https://github.com/tscircuit/core)
A drop-in replacement / proxy to Node.js path, replacing \\ with / for all results & adding file extension functions.
Frequent default values
Run scripts that set and use environment variables across platforms
Array manipulation, ordering, searching, summarizing, etc.
Option parsing for Node, supporting types, shorthands, etc. Used by npm.
Read more about this solver here: https://blog.autorouting.com/p/the-intersection-jump-autorouter
pipe streams together and close all of them if one of them closes