Solutions to Travelling Salesman Problem and the SAT problem using Artificial Intelligence (AI) - View it on GitHub