CP-SAT: sufficient_assumptions_for_infeasibility() returns a literal that is not in the assumption list (presolve only) #5141

25 views

Skip to first unread message

Igor Proshkin

unread,

Apr 22, 2026, 4:47:17 PM (2 days ago) Apr 22

to or-tools-discuss

Hi,

I submitted issue #5141 a few days ago — did you get a chance to look into it? sufficient_assumptions_for_infeasibility is core functionality I'm using in my project, so I'd really appreciate any update.

For now, I have a temporary workaround by disabling pre-solve, but I'm a bit worried it might slow down the solver.