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

sudogame

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

v2.0.1 URL: https://unpkg.com/sudogame@2.0.1/dist/index.js

Open Browse Files

sudoku sudoku-solver sudoku-generator minisat