debugging/visualization Constraint Programming

[Henry Lau]

Hello OR-tools group,

Hi, I am currently using or-tools, specifically the Constraint Programming solver, for a project.

Occasionally I get stuck trying to debug, because to me, the internal logic of Constraint Programming solver looks like a black box.

Is there a way for me to visualize (e.g. graph) the decision making process of the CP solver?

For instance, sometimes I find out the CP solver gives solutions that don't meet some constraints I gave to it.

It turns out, sometimes I give constraints that cannot all be satisfied.

Since I have a LOT of constraints, it took me a lot of time to figure out that was the reason why the solutions from CP solver would ignore some constraints.

For some context, right now my project runs the CP solver repeatedly, measuring the increase in solution-score each time, until the changes in the score slows down, at which point I stop. Hence, the CP solver looks like a blackbox to me.

Is there a way I can more easily trace the decision making process of the CP solver, ideally with a visualization tool?

Thanks!

Henry

[Driss Lahlou]

Hello Henry,

This topic discusses how to trace the solver's decisions during the search.

I hope this helps.

Regards,

--
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-discuss+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--

driss