anfelbar/mozart2-vm — pull request #3 by dmontenegro (2013-02-22 15:46:27+00:00)
Title: Added Inf and Sup builtins in IntVar module.

We use Gecode::Int::Limits::max and Gecode::Int::Limits::min.