Minisat | npm.io

✨ **A new fast, light and comprehensive Sudoku library, powered by SAT encoding!** ✨

sudoku sudoku-solver sudoku-generator minisat

2.0.1 • Published 2 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 4 months ago