A basic X, Y coordinate inequality solver
A term-inequality function-factory actor
RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank
A expression-evaluator term-comparator-factory actor
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.
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.
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)
JavaScript library for easy integration with the API of 2captcha captcha solving service to bypass reCAPTCHA, hCaptcha, funcaptcha, geetest and solve any other captchas.
A high density zero-obstacle solver
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
A dependency solver for the elm ecosystem
A grammar to parse linear-text maths and boolean expressions, and produce an AST that [Inequality](https://github.com/isaacphysics/inequality) can digest.
Node.js binding for the HiGHS optimization solver
Yet another linear programming solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.
unit bezier curve interpolation
Convert trace waypoints into curvy traces maximizing trace-to-trace and trace-to-obstacle distance
A symbolic equation editor for the web
inequality operations abstraction to extend core-arbitrary-precision
manage to solve captcha challenges with node
Cassowary is an incremental constraint solving toolkit that efficiently solves systems of linear equalities and inequalities. Constraints may be either requirements or preferences. Client code specifies the constraints to be maintained, and the solver updates the constrained variables to have values that satisfy the constraints. Version 0.50 of the solving toolkit adds support for a one-way finite domain subsolver. This project is concerned with offering a ruby interface for the original implementation of cassowary in C.
## Cassowary [](https://travis-ci.org/timfel/cassowary) Cassowary is an incremental constraint solving toolkit that efficiently solves systems of linear equalities and inequalities. Constraints may be either requirements or preferences. Client code specifies the constraints to be maintained, and the solver updates the constrained variables to have values that satisfy the constraints. This is a Ruby port of the Smalltalk version of Cassowary. The original distribution can be found [here](http://www.cs.washington.edu/research/constraints/cassowary/). A technical report is included in the original distribution that describes the algorithm, interface, and implementation of the Cassowary solver. Additionally, the distribution contains toy sample applications written in Smalltalk, C++, Java, and Python, and a more complex example Java applet, the "Constraint Drawing Application".