huyen-nguyen/n-queens

SAT solver for the n-queens problem

SAT solver for N-queens problem

Demo: https://huyen-nguyen.github.io/n-queens/