logic-solver-plus

A fork of logic-solver that is compiled to wasm instead of JS with additional features

v0.2.2 URL: https://unpkg.com/logic-solver-plus@0.2.2

Open Browse Files

solver sat-solver logic constraint-solver constraint-programming logic-solver minisat

picosat

picosat SAT solver

v1.2.0 URL: https://unpkg.com/picosat@1.2.0/index.js

Open Browse Files

picosat sat-solver solver sat

@srs-solver/sdk

TypeScript SDK for SRS Solver API - Quantum-inspired SAT solving

v0.0.1 URL: https://unpkg.com/@srs-solver/sdk@0.0.1/dist/index.js

Open Browse Files

sat-solver quantum api-client typescript srs-solver

@hakerh400/puzzle-games

Puzzle games

v1.0.0 URL: https://unpkg.com/@hakerh400/puzzle-games@1.0.0/index.js

Open Browse Files

puzzle game csp sat sat-solver logic theorem constraint js javascript node nodejs node.js electron desktop app