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
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 #18 from miavisa/search

Search