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.
Changes to support constraint boolean variables.
- Added one, zero and none operations to the boolean variables interface.
- Added the module BoolVar to the virtual machine.
- Changed some methods in GecodeSpace to support the new boolvar implementation.
Merge pull request #10 from miavisa/css

Modified builtin dfs in module Search.
Changed methods for search builtin.
- No need for a loop in the search one builtin.
- Fixed memory leak when updating constraint spaces.
Added auxiliar function getIntSetArgs with support for List.
Added Gecode::count propagator to fd module.
Merge pull request #11 from carealejo/master

getIntSetArgs and Gecode::count
Added Gecode::elements builtin.
Added getIntSharedArray auxiliary function.
Merge pull request #12 from dmontenegro/master

Added Gecode::elements builtin
Added Gecode::min propagator to fd module.
Merge pull request #13 from carealejo/master

Gecode::min propagator.
Added support for severals Gecode::dom in fd module.