The class GecodeSpace divided into gecode-space-decl.hh and gecode-space.hh
Added garbage collection for GecodeSpaces.
- It collects memory for GecodeSpaces that are either SOLVED or FAILED
- If a mozart spaces is failed the propagates the fail to the associated GecodeSpace (if any)
- Still to check more invariants. In particular, when the script is done (no more computation), if should erase all GecodeSpace no matter what?
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.