I am using Docplex and Python to solve a scheduling problem with the CP optimizer. I can call the propagation function without solving, and then I can retrieve the domains. However, I would like to get the domains after solving the problem with a time limit. After I hit the time limit, I would like to retrieve the variable domains that are still feasible for the non-evaluated branching nodes. The domains should be much tighter than the ones I get from just calling the propagation once. Is there some way to get these values?
------------------------------
mciky jiol
------------------------------