/nqueens-solver

Solution for N-Queens problem using Z3 SAT solver.

Primary LanguageRust

Watchers