Goal of this project is build a sudoku solver with image input.
- We are going to use opencv libraries to read in a picture of a suduko game and use the Z3 Theorem solver to solve the sudoku.
- The WebService is implemented via Django Rest Framework.
- For the web application (frontend) we plan to use Angular and Ionic.