We start with a basic working implementation of the classic DPLL algorithm written in C++ without any performance considerations in mind: STL templates everywhere, it's OK to have excessive memory ...
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.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results