The following project contains python implementation of algorithms for:
- SAT solver for the Sudoku game (Assignment 1, Report, Slides)
- CSP solver for the Sudoku game (Assignment 2, Report, Slides)
- IPython
- numpy
- scipy
- matplotlib
Copyright (c) 2016 Minh Ngo, Casper Thuis
This project is distributed under the MIT license. It's a part of the Knowledge Representation course at the University of Amsterdam taught by Frank van Harmelen from the Vrije Universiteit Amsterdam. Please follow the UvA regulations governing Fraud and Plagiarism in the case if you are a student.