A Constraint Satisfaction Solver (CSP) using Backtracking and Forward Checking - View it on GitHub