Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reified global constraints are decomposed in Minizinc parser #1072

Open
IgnaceBleukx opened this issue Nov 20, 2023 · 1 comment
Open

Reified global constraints are decomposed in Minizinc parser #1072

IgnaceBleukx opened this issue Nov 20, 2023 · 1 comment
Assignees
Labels
Milestone

Comments

@IgnaceBleukx
Copy link

Dear,

I am using the Choco-solver through Minizinc and noticed the lack of support for (half) reified global constraints in the flatzinc output.

For example, when compiling the following model for Choco v4.10.14, the alldifferent constraint gets decomposed.

include "globals.mzn";

int: N = 3;
array[1..N] of var 1..10 : x;
var bool: bv;

constraint bv -> alldifferent(x);

While (as far as I understand) the Java interface allows this constraint to be written as:

model.IfThen(bv,model.allDifferent(vars))

It seems Minizinc does have support for keeping these reified global constraints (e.g., for Chuffed, the flatzinc output contains the compiled constraint fzn_all_different_int_imp.

Are there any plans on adding the reified versions of global constraints to the Minizinc parser?

Kind regards,
Ignace

@cprudhom
Copy link
Member

You are right.
This can certainly be part of the next release.

@cprudhom cprudhom self-assigned this Nov 22, 2023
@cprudhom cprudhom added this to the 4.11.0 milestone Nov 22, 2023
@cprudhom cprudhom modified the milestones: 4.10.15, unknown Sep 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants