Rule Solver – Map Coloring

This problem deals with map coloring.  You need to use no more than 4 colors (blue, red, green, or yellow) to color six European countries: Belgium, Denmark, France, Germany, Luxembourg, and the Netherlands in such a way that no neighboring countries use the same color. Here is a decision model for DMCommunity.org challenge “Map Coloring“.

As usual, we start with the Glossary:

All 6 unknown decision variables could take different colors from 1 to 4.

The method “Define” simply posts constraints preventing neighboring countries from using the same colors:

The method “Solve” calls the predefined method “SolverFindSolution”:

To execute this decision model, click on “test.bat” to receive the following results: Netherlands[1] Belgium[2] Luxembourg[1] Denmark[1] France[3] Germany[4].