anfelbar/mozart2-vm — pull request #19 by carealejo (2013-05-10 15:54:37+00:00)
Title: Factored Gecode::dom propagator with full support.

Imposes propagator according to the input parameters, using auxiliary functions (isIntVarArgs, isIntSet).