/Constraint-Satisfaction

A solver that applies DFS with backtracking and min-conflicts local search to solve constraint satisfaction problems, such as map coloring.

Primary LanguagePython

Stargazers