Sat-solver | npm.io

picosat SAT solver

picosat sat-solver solver sat

1.2.0 • Published 7 years ago

Puzzle games

puzzle game csp sat sat-solver logic theorem constraint js javascript

1.0.0 • Published 4 years ago

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

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

0.2.0 • Published 5 months ago