Data Appendix for Global Difference Constraint Propagation for Constraint Programming

This dataset contains the following items: Model and instances for the Producer-Consumer benchmarks: Schutt, A., & Stuckey, P. J. (2016, August). Explaining producer/consumer constraints. In International Conference on Principles and Practice of Constraint Programming (pp. 438-454). Cham: Springer International Publishing. Model and instances for the RCPSP/max benchmarks: Schutt, A., Feydy, T., Stuckey, P. J., & Wallace, M. G. (2013). Solving RCPSP/max by lazy clause generation. Journal of scheduling, 16(3), 273-289. Full result tables for Producer-Consumer, RCPSP/max, and MiniZinc challenge evaluation The results on the MiniZinc challenge benchmarks refer to instances in the public repository: https://github.com/MiniZinc/mzn-challenge