Artificial Intelligence Sokoban Solver - Search Futoshiki Solver - CSP Propagator Variable Elimination - Bayesian Network DO NOT PLAGIARIZE CODE [CSC384, University of Toronto]