is it still necessary to perform presolve with hints?

7 views
Skip to first unread message

Li Mike

unread,
Nov 4, 2025, 3:33:15 AM (2 days ago) Nov 4
to or-tools-discuss
I'm using the pywraplp SAT solver to solve a large model. My solution steps are as follows:
  1. First, solve with a 0 objective, solver.Minimize(0), to get an initial solution.
  2. Use the initial solution as a hint to warm-start the full objective model.
My problem is that the presolve in step 2 is taking a long time (3 minutes).Given that I have an initial solution, is it still necessary to perform presolve?Can I completely disable presolve in step 2? How can I completely disable presolve?

Laurent Perron

unread,
Nov 4, 2025, 4:23:44 AM (2 days ago) Nov 4
to or-tools...@googlegroups.com
parameter: cp_model_presolve:false
I would first print the log, and check which operation is costly. Usually cp_model_probing_level:0 is enough to reduce presolve time.

But in general, presolve is useful and beneficial.
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/9575b7c0-88cd-419e-aeae-2659a2ca6fc7n%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages