A collection of brute-force/backtracking logic puzzle solvers. Created to help my team in the 2019 Galactic Puzzle Hunt for the two puzzles Something is Off and Race for the Galaxy.
The puzzles include:
- Gaps
- Kurodoko
- Puzzle 9 (2-Satisfiability)
- Scrabble (not the game)
- Tapa
- Tetropia
- Substitution Cipher Word Search
- Yin-Yang
All solvers read from standard input and write to standard output. Sample inputs/outputs can be found in the sample-inputs folder.
All solvers will output all possible solutions, one after the other.