erohkohl/n-queens-sat

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.

语言：Rust · GitHub 星标：8 · Fork：1

话题：constraint-programming · constraint-satisfaction-problem · dpll-algorithm · n-queens · rust · rust-lang · sat-solver · tdd

在 GitHub 上查看原仓库