Modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. This project should made me familiar with Rust and the test driven approach.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool