Hello all:

I want to use relax for a constraint in CP optimizer,so I labeled this constraint. But it does not work.

using CP;

forall(jp in book)

How to releaze this funciton? Thanks.

asked 17 Mar '14, 22:06

spzcwg's gravatar image

accept rate: 0%

edited 18 Mar '14, 06:01

fbahr's gravatar image

fbahr ♦

As far as I understand, you try to relax a constraint of an infeasible model using OPL Studio's conflict diagnose "tools", right?

If so... 1. Which version of CPLEX do use? 2. Do you use an OPL script or do you pass conflict/relax options to oplrun? 3. ...?

(The more informations you provide, the better we can help.)

(18 Mar '14, 09:28) fbahr ♦

Thanks for your answer. I use the version of Cplex 12.2. I have little knowledge in this aspect. I do't use an OPL script or pass conflict/relax options to oplrun. I only labled the constraint,Do I need to use an OPL script to pass conflict/relax options to oplrun?

(19 Mar '14, 22:16) spzcwg

I've re-posted your question (slightly modified) in IBM's "OPL using CP Optimizer" forum:

> https://www.ibm.com/developerworks/community/forums/html/topic?id=...bae7b5e58b42

In a nutshell:

  1. the relaxation feature only works with CPLEX OPL models; and
  2. the conflict refiner has been extended to work with CP models, but this happened only happened in Optimization Studio's 12.5 release.

answered 21 Mar '14, 11:02

fbahr's gravatar image

fbahr ♦
accept rate: 13%

edited 21 Mar '14, 11:05

Thank you very much for post my question to that forum. Thanks for your help.

(24 Mar '14, 21:19) spzcwg

Is the conflict refiner for CP working in 12.2 ? I have the feeling it is available from 12.5 I tried it successfully with CP constraints in 12.5 but I think it was not with interval variables.



answered 21 Mar '14, 10:39

David's gravatar image

accept rate: 12%

Thanks for your help,May be the version of my cplex not support.

(24 Mar '14, 21:17) spzcwg
Your answer
toggle preview

Follow this question

By Email:

Once you sign in you will be able to subscribe for any updates here



Answers and Comments

Markdown Basics

  • *italic* or _italic_
  • **bold** or __bold__
  • link:[text](http://url.com/ "Title")
  • image?![alt text](/path/img.jpg "Title")
  • numbered list: 1. Foo 2. Bar
  • to add a line break simply add two spaces to where you would like the new line to be.
  • basic HTML tags are also supported



Asked: 17 Mar '14, 22:06

Seen: 47,641 times

Last updated: 24 Mar '14, 21:19

OR-Exchange! Your site for questions, answers, and announcements about operations research.