Sat-solver | npm.io

picosat SAT solver

picosat sat-solver solver sat

1.2.0 • Published 6 years ago

Puzzle games

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

1.0.0 • Published 2 years ago