Added Gecode::max propagator to fd module.
Added Gecode::abs propagator to fd module.
Added Gecode::mult propagator to fd module.
Added Gecode::sqr propagator to fd module.
Added Gecode::sqrt propagator to fd module.
Added Gecode::divmod, Gecode::mod, Gecode::div prpagators to fd module.
Merge pull request #15 from carealejo/master

Gecode Arithmetic constraints
Added auxiliar functions isIntVarArgs and isIntSet to cstsupport.
Merge pull request #16 from carealejo/master

isIntVarArgs and isIntSet to cstsupport
Added auxiliar function isIntArgs to cstsupport.
Modified search builtin
Added parameter Out, now this builtin return a Space with the solution.
Merge branch 'css' of https://github.com/anfelbar/mozart2-vm into css
Merge pull request #17 from carealejo/master

isIntArgs
Merge pull request #18 from miavisa/search

Search
Merge branch 'search' into css
Factored Gecode::dom propagator with full support.
Imposes propagator according to the input parameters, using auxiliary functions (isIntVarArgs, isIntSet).
Merge pull request #19 from carealejo/master

Factored Gecode::dom propagator with full support.
Gecode::rel and Gecode::distinct propagators with full support.
Added auxiliar function isAtomToRelType.
Merge pull request #20 from carealejo/master

Gecode::rel and Gecode::distinct with full support.
Arithmetic propagators full supported.