Repository intended to explore the implementation of different constraint satisfaction and optimization algorithms such as backtracking and forward checking families