https://github.com/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.
https://github.com/erohkohl/n-queens-sat

constraint-programming constraint-satisfaction-problem dpll-algorithm n-queens rust rust-lang sat-solver tdd

Last synced: about 1 month ago
JSON representation

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.

• Host: GitHub
• URL: https://github.com/erohkohl/n-queens-sat
• Owner: erohkohl
• Created: 2017-06-24T18:30:37.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2017-07-20T19:00:58.000Z (almost 7 years ago)
• Last Synced: 2024-02-11T14:04:47.835Z (5 months ago)
• Topics: constraint-programming, constraint-satisfaction-problem, dpll-algorithm, n-queens, rust, rust-lang, sat-solver, tdd
• Language: Rust
• Homepage:
• Size: 16.3 MB
• Stars: 7
• Watchers: 5
• Forks: 1
• Open Issues: 5

Lists

• awesome-rust-formalized-reasoning - n-queens-sat - modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. (Unclassified / Libraries)