-1

I am conceiving a global constraint with the ORtools solver, and to have a better understanding of my algorithm's behavior, i want to visualize the tree search generated by the solver.

So Is there any tool to visualize an ORtools tree search ?

djawed bkh
  • 21
  • 5
  • which solver are you using? – Laurent Perron Mar 15 '23 at 14:37
  • I am using cpsolver – djawed bkh Mar 16 '23 at 08:35
  • So sat search is not a tree search, and its behavior is too complex to describe, with a lot of potential delayed effects. What is your real question ? – Laurent Perron Mar 16 '23 at 10:27
  • I am not using the cp-sat solver, i am using the cp-solver. I am conceiving a global constraint on cp-solver and i want to visualize the tree search generated by the solver in order to understand some of my algorithm's behavior. And for this purpose i want to know if there is any tool to visualize the tree search generated by the cp-solver ? – djawed bkh Mar 16 '23 at 13:38

1 Answers1

1

There are two c++ flags: cp_trace_search and cp_trace_propagation that will output very verbose logs on stderr.

I strongly recommend not using the original CP-Solver and encoding the constraint on CP-SAT.

Laurent Perron
  • 8,594
  • 1
  • 8
  • 22