Added Gecode::nooverlap propagator fully supported.
Corrected FD.count propagator.
Added auxiliar function isTaskTypeArgs.
Merge pull request #4 from dmontenegro/css

Css with Gecode::nooverlap and isTaskTypeArgs