My Constraint Programming Blog

Andrea Rendl released version 0.3.3 of Tailor this Friday.

News in this version:

* select a dynamic variable ordering for solving in Minion (in the GUI)
* extended GUI
* several bugfixes

From the README file (in the distribution):

6. Limitations and Known Bugs
----------------------------------
The translator is still under development, so there are some limitations.
The following is not supported yet:
- decision variable arrays with 4 or more dimensions
- parameter arrays with 4 or more dimensions
- absolute value
- power with decision variable as exponent
- element constraint on 2-dimensional arrays

Translation to Gecode:
- no parameter arrays supported
- complicated quantified sums not supported

Translation to Flatzinc:
- not supported: multi-dimensional arrays
- no support for table, element, atmost, atleast, gcc
- no modulo, power, division

Also see: My Tailor page