Solver Packages

2D rigid body constraint solver written in typescript.

consys-solver is a tool to find feasible model assignments for consys constraint systems.

An evaluator for complex data dependency graphs

A module to solve captchas using https://dchcaptcha.com/

Brent's root finding algorithm, as a generator function.

A root solver for functions using Brent's Method.

미분 방정식 풀어주는 모듈입니다

Solve linear diophantine equations

This directory contains JavaScript code to automatically derive TypeScript bindings for the C API, which are published on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).

A dependency solver for the elm ecosystem

A fast Sudoku solver written in TypeScript.