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

logic-solver-plus

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

v0.2.0 URL: https://unpkg.com/logic-solver-plus@0.2.0

Open Browse Files

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

@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