anfelbar/mozart2-vm — pull request #10 by miavisa (2013-04-16 18:25:28+00:00)
Title: Modified builtin dfs in module Search.

This builtin imposes Gecode::DFS to Space.
If the Space have solution then updates its GecodeSpace whit the solution find it.
This builtin is still in development.