There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
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.