Merge pull request #7 from dmontenegro/master

FD.dom
Added constraint boolean domains module in file cp/BD.oz
For now it supports the following operations:
- BD.is (test whether is a boolvar)
- BD.decl (declares a new boolvar)
- BD.value (the value when the boolvar is assigned)
- BD.one (test whether the boolvar is 1)
- BD.zero (test whether the boolvar is 0)
- BD.none (test whether the boolvar is neither 1 nor 0)
Added Search.dfs in Search.oz
Added {Search.one Script} in Search.oz
This function create a Space and call {Space.dfs Space}
Merge pull request #9 from miavisa/master

Added {Search.one script} in Search.oz
Remove variable to avoid compilation warning in Search.oz
FD.dom is working as in the old mozart.
Added FD.domain propagator used to narrow variable domains.
Added FD.count propagator to FD.oz.
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