Hi,
I'm trying to combine MIP and CP using opl. I have an algorithm and I want to stop it when CP found a proven optimal rather than terminated by fail limit or stg else.
CP shows if it is proven solution, but how can I represent it with opl?
E.g.
if(cp.param.provenoptimal(true)){
bla...
bla....
}
Does anyone know an opl parameter something like above?
Topic
This topic has been locked.
1 reply
Latest Post
 20130510T14:13:11Z by rdumeur
ACCEPTED ANSWER
Pinned topic How to detect proven solution in cp
20130127T19:19:14Z

Answered question
This question has been answered.
Unanswered question
This question has not been answered yet.

ACCEPTED ANSWER
Re: How to detect proven solution in cp
20130510T14:13:11Z in response to SystemAdminHi,
Sorry for the late answer. As you may have found by yourself, optimality is proven by letting the solver run without specifying any limit.
That is if you invoke solve() on the solver, it will run until optimality is reached. If you use startNewSearch() and next(), you will possibly obtain multiple solutions until next() returns false. In which case, the latest obtained solution is optimal.
I hope this helps,
Cheers,