anfelbar/mozart2-vm — pull request #20 by carealejo (2013-05-14 20:45:19+00:00)
Title: Gecode::rel and Gecode::distinct with full support.

Added auxiliar function isAtomToRelType.