Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 3 months 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 (over 7 years ago)
- Default Branch: master
- Last Pushed: 2017-07-20T19:00:58.000Z (over 7 years ago)
- Last Synced: 2024-05-22T22:33:07.863Z (6 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
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - n-queens-sat - modelling n-queens problem as conjunctive normal form and solving it with DPLL algorithm. (Unclassified / Libraries)