https://wilberquito.github.io/posts/constraint-satisfaction-problem/