The DeltaUp constraint solver: Minimizing the number of method of selections in DeltaBlue

We present a modification of the DeltaBlue constraint solver called DeltaUp. DeltaBlue is an incremental constraint solver based on local propagation, which is widely used for constructing graphical user interfaces and algorithm animations. DeltaUp minimizes the number of time-consuming tasks of DeltaBlue, namely method selections, in each planning phase. To compute the exact number of needed method selections, we introduced a cost function up-cost to DeltaBlue. Our benchmarks show that DeltaUp is approximately two times faster than DeltaBlue in the best case. Even in the worst case, it is only slightly slower than DeltaBlue.