add_assumptions break the solution quality in cp-sat

[YINXIONG CHEN]

Dear team,

I built a cp-sat model and it works well. 

But after adding a bool var, and use add_assumption to default the bool var as True, not applying this bool var anywhere. The output solution becomes much worse. 

"worse" here means the raw model was able to schedule 150 workorders, but it only schedule 20 after using add_assumptions. 

Is it normal?

Thanks,

Best Regards.

[Laurent Perron]

Have you enabled logging ?

assumptions -> force 1 worker, and should not be used with objectives.

Laurent Perron | Operations Research | lpe...@google.com | (33) 1 42 68 53 00

--
You received this message because you are subscribed to the Google Groups "or-tools-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to or-tools-discu...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/or-tools-discuss/9e27ab4d-ae8f-4c31-adf9-7f448ffb4b2an%40googlegroups.com.