CPSAT presolve makes hint infeasible #4693
Description
Hi,
It seems presolving can break a hint to CPSAT; see below.
Starting CP-SAT solver v9.13.4784
Parameters: log_search_progress: true
...
Starting presolve at 0.00s
The solution hint is complete and is feasible. Its objective value is 75235.
...
Preloading model.
#Bound 0.01s best:-inf next:[-364008,315384] initial_domain
The solution hint is complete, but it is infeasible! we will try to repair it.
#Model 0.01s var:26/27 constraints:11/11
Is there anything I can do about this?