/BombKnightSudoku

Project to solve and generate (unique) Bomb-Knight-Sudoku puzzles (a variant of Sudoku), using propositional logic and ASP. Part of the KRR course in the UvA AI Master.

Primary LanguageJupyter Notebook

This repository is not active