anfelbar/mozart2-vm — pull request #2 by carealejo (2013-02-21 14:37:03+00:00)
Title: Added Gecode::rel propagator to the finite domain base module.

Added Gecode::distinct propagator to the finite domain base module.
Created getIntVarArgs function: only works with tuples (i.e. X#Y#Z). Still to come support for lists and records (i.e. [X Y], sol(x:Y y:Y)).