Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/bglezseoane/sat-nqueens
An N Queens Puzzle CNF-SAT DIMACS encoder
https://github.com/bglezseoane/sat-nqueens
cnf-sat-dimacs dimacs-cnf-format queens-puzzle sat
Last synced: 21 days ago
JSON representation
An N Queens Puzzle CNF-SAT DIMACS encoder
- Host: GitHub
- URL: https://github.com/bglezseoane/sat-nqueens
- Owner: bglezseoane
- License: bsd-2-clause
- Created: 2020-04-09T18:27:47.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2020-04-09T18:43:03.000Z (over 4 years ago)
- Last Synced: 2023-03-21T12:45:05.875Z (almost 2 years ago)
- Topics: cnf-sat-dimacs, dimacs-cnf-format, queens-puzzle, sat
- Language: C
- Homepage:
- Size: 6.84 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0