[eclipse-clp-users] Correct use of minimize to find a globally minimal solution

hi all,

  I'm having trouble understanding how to use minimize(). Attached is a
simple example that tries to find an allocation of dance lessons to
dance couples (satisfying requests), and then choose the one with the
minimal cost. Unfortunately, minimize() does not find the globally
minimal solution. What is the correct way to use that?

Best,
  Misha