Possible missing constraint in flatzinc frontend of fzn-oscar-cbls

[Peter Nightingale]

Hi,

We are attempting to use Oscar CBLS via its flatzinc interface and experiencing some problems, I wonder if you could help.  We are using up-to-date minizinc with the latest fzn-oscar-cbls as well (and of course using the mznlib distributed with fzn-oscar-cbls).  We have set variables in some of the models. When attempting to solve these we get an error message that seems to indicate the fzn parser is crashing.

Assuming no set variables in fzn-oscar-cbls, we started including the "nosets.mzn" program to decompose the set variables. Then we experience problems with a model that has the card(...) function applied to a set variable. fzn-oscar-cbls gives an error message that bool_lin_eq is not supported. (I'm assuming that constraint comes from the card function).

We can provide mzn models etc if needed, but you may just be able to implement bool_lin_eq using the component for int_lin_eq.

Best wishes,

Peter

[Surya Narayan S]

@peter, off-topic. Where di you get the fzn-oscar-cbls from? I'm trying to add OscaR solver to MiniZinc, but I am not able to find it. None of the links are working.

[peter.ni...@york.ac.uk]

I don't remember, that was last summer.