Results for z3-solver

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

z3-solver fork used in js-randomness-predictor

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

Full-surface Z3 4.16.0 WASM bindings — zero dependencies. User propagators, clause streaming, chainable DSL, exact model inspection.

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.

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

The runtime for GenAIScript, providing the core functionality and APIs for executing scripts.

Predict the output of Math.random

Read more about this solver here: https://blog.autorouting.com/p/the-intersection-jump-autorouter

A Javascript wrapper with a Z3-ish API for SMT-LIB 2.0, the language of Satisfiability Modulo Theories solvers

A dependency solver for the elm ecosystem

Node.js binding for the HiGHS optimization solver

unit bezier curve interpolation

Architecture Ground Language — agent-facing architecture validation for continuous coding feedback and Z3-backed enforcement

Yet another linear programming solver. (A rewrite of javascript-lp-solver.) Aims to be decently fast.

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