Neither chuffed nor OR-tools support indomain_random. Both probably perform better than Gecode for larger instances
We could still try to compare their default search strategy (which will likely produce very similar solutions due to the tree-based traversal) to diversity max (where we have the diversity modeled explicitly) -> and test diversity vs. random only with Gecode
Neither chuffed nor OR-tools support
indomain_random. Both probably perform better than Gecode for larger instancesWe could still try to compare their default search strategy (which will likely produce very similar solutions due to the tree-based traversal) to diversity max (where we have the diversity modeled explicitly) -> and test diversity vs. random only with Gecode