anfelbar/mozart2-vm — pull request #12 by dmontenegro (2013-04-19 17:08:54+00:00)
Title: Added Gecode::elements builtin

Added getIntSharedArray auxiliary function.