This is a simple SAT solver with a string based interface, built for easy access. It tries to parse many different commenly used syntaxes into a AST and then solves the problem, returning one or all solutions. You may also only use the AST and provide a s

Google OR-Tools CP-SAT solver bindings for Node.js / TypeScript.

picosat SAT solver

SAT Solver npm package written in C++

A simple JavaScript SAT solver

simple backtracking sat solver

Saguaro is a SAT solver

General satisfiability solver for logic problems

A Sat-Solver algorithm to calculate formwork plan.

RVF self-learning temporal solver — Thompson Sampling, PolicyKernel, ReasoningBank

Reusable building blocks for iterative solvers, multi-stage solver pipelines, and React-based solver debugging UIs.

Easy to use, JSON oriented Linear Programming and Mixed Int. Programming Solver

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

TypeScript definitions for http-errors

TypeScript definitions for yauzl

Solves PCB copper pour regions from Circuit JSON or from a small geometry input format, returning `pcb_copper_pour`-ready B-Rep shapes.

TypeScript definitions for mdx

TypeScript definitions for lodash

TypeScript definitions for sat

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