This is a minor release which fixes a major bug (the first real serious bug). Please update as soon as possible.
- Kernel
- Bug fixes
- Branch&Bound search with ViewValBranchings (all standard branchings) together with batch recomputation was severely broken. The problems ranged from wrong search trees (missing solutions) to segmentation faults. The fix changes the way assigned variables are removed from the array in a ViewValBranching. (major, thanks to Rafael Meneses)
- Finite domain integers
- Bug fixes
- Bounds-consistent distinct catches border case when an assigned variable during bounds propagation leads to value removal for value propagation. (minor)
- IntVar::init now also raises exceptions for illegal domain specifications. (minor, thanks to Alejandro Arbelaez)
- Performance improvements
- Bounds-consistent distinct eliminates assigned variables more aggressively (can save up to 10% runtime in some cases). (minor)
