Merge pull request #12 from dmontenegro/master

Added Gecode::elements builtin
Added Gecode::min propagator to fd module.
Merge pull request #13 from carealejo/master

Gecode::min propagator.
Added support for severals Gecode::dom in fd module.
Merge pull request #14 from Smiller09/css

Added support for severals Gecode::dom in fd module.
Changes in the finite domain constraint programming support.
- Renamed fd propagators builtins file.
- Created file to host auxiliary functions of fd propagators builtins.
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