Formulate the following problem as a CSP using the AISpace CSP tool:
Virginia, West Virginia, North Carolina, and Maryland have seceded
from the Union to create a new country: Midadlantia. According to the new constitution all four states must have between 1 and 3
representatives. No two neighboring states may have the same number
of representatives. Both West Virginia and North Carolina must have more representatives than Virginia. (Here is a map of the United States if you need a geography refresher.)
Use the AISpace tool to run the arc-consistency algorithm on the
resulting graph, then run a depth-first search (by-hand) on the arc consistent version of the problem to find at least one satisfying assignment.
