Forward learning implemented. Changed implementation of GecodeSolver for incremental constraints support.