Problem
How many different ways are there to color the edges of a triangle using two colors? Assume that each side of the triangle is initially uncolored and assume also that colors and triangle edges are abstract values. Check your answer by writing a model program and using the isomorphism reduction feature of mpv.