GitHub

cbc reports feasible for an infeasible model with

This instance should be infeasible. Cbc returns an invalid solution that breaks constraint C9 with -preprocess off. Welcome to the CBC MILP Solver Version: Devel (unstable) Build Date: Jul 21 2025 ...