The code for "Table Constraints for Integer Programming" (CP'26) - View it on GitHub