50+ solvers for logical puzzles, with 8000+ datasets, including Sudoku-like puzzles, Slitherlink, Pentomino, Hitori, Shikaku, Heyawake, Mosaic, Tent, Creek, Atari, Suguru, Kakuro, etc. Mainly solved via Solvers like ortools, z3-solver and SCIP.

Game Playing Agent (Artificial Intelligence) - Solving the Norinori Puzzle using the Honey Badger Algorithm and Q-Learning

Mid second year project