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)
  {
         DueC:endOf(JobProcess[jp])<=2;
  }

How to releaze this funciton? Thanks.

asked 17 Mar '14, 22:06

spzcwg's gravatar image

spzcwg
11225
accept rate: 0%

edited 18 Mar '14, 06:01

fbahr's gravatar image

fbahr ♦
4.6k716

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.
link

answered 21 Mar '14, 11:02

fbahr's gravatar image

fbahr ♦
4.6k716
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.

David

link

answered 21 Mar '14, 10:39

David's gravatar image

David
30616
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

By RSS:

Answers

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

Tags:

×191

Asked: 17 Mar '14, 22:06

Seen: 47,585 times

Last updated: 24 Mar '14, 21:19

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