Merge pull request #10 from carealejo/master

FD.count
Replaced {Search.one P} for {Search.one.dfsGecode P} in Search.oz
This function create a Space and return the first solution obtained by Gecode's DFS search engine.
Also added:
  - {Search.one.dfsGecodeS P} returns the first succeded space
  - {Search.one.dfsGecodeP P} similar to Search.one.dfsGecodeS, but returns a procedure as output.
Added {Search.one.depth P} in Search.oz
This function create a Space and return the first solution obtained by depth-first search engine.
depth-first was available at last mozart version.
Also added:
  - {Search.one.depthS P} returns the first succeded space
  - {Search.one.depthP P} similar to Search.one.depthS, but returns a procedure as output.
Added {Search.one.bound P Bound MRD ?KP} in Search.oz
This function creates a Space and return the first solution obtained by depth-first search engine,
where the depth of the search tree explored is less than or equal to Bound.
Also added:
  - Search.one.boundS: returns the first succeded space
  - Search.one.boundP: similar to Search.one.boundS, but returns a procedure as output.
Merge pull request #11 from miavisa/master

Search.oz