Download binaries
This program solves the coloring problem, i.e. assigning colors to a number of regions and adjacent regions cannot have the same color. Famous examples are coloring the territories of Australia (simple) or the 50 states in USA (quite complex). The coloring problem is known as a Constraint Satisfaction Problem (CSP) and this program can be used to compare some common algorithms for solving CSPs. The following algorithms are implemented: Backtracking Search and Forward Checking can also use the following heuristics: