Constraint Satisfaction Problem Contains an implementation to solve the Constrain Satisfaction problem (or a constraint graph) applied to the australian map coloring example problem.