Hello, Are the constraint handlers for the complex binary arithmetic operations such as ADD and MULT discussed in Tobias Achterberg's thesis (in Chapter 14) publicly available? I haven't been able to find them in the standard distribution. Thanks in advance! Miles