[gecode-users] Search combinator questions

[Torsten Anders]

Dear Guido,

I had a look at the search combinators supported by the Gecode FlatZinc interpreter (http://www.gecode.org/flatzinc.html). I have two brief questions. 

The README file of http://www.gecode.org/download/searchcombinators-0.9.3.tgz says that support for set variables will be added later. Does this mean only that branching strategies for set variables cannot be defined right now, or more generally that CSPs with set variables are not supported by the current search combinators? In other words, can I define CSPs with a mix of integer and set variables, where a branching of the integers will also determine/fix the set variables? 

Also, do the search combinators depend on Gecode version 3.7.2, or could they also be compiled with later versions?

Thank you!  

Best wishes,
Torsten

--
Dr Torsten Anders
Course Leader, Music Technology
University of Bedfordshire
Park Square, Room A315
http://www.torsten-anders.de