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

Posted by hakank at 05:31 PM | Permalink

The other day, I started my second blog in English: Arrays in Flux.

The first post Arrays in Flux: My third blog, and second English explains more and give a background of the name. Here I will write, in English, about stuff not related to constraint programming (and related paradigms).

I just posted the first real post: Symbolic regression (using genetic programming) with JGAP and contains what I have done the last weeks . It is an extension of what I wrote in Off topic: Eureqa - equation discovery with genetic programming.

From now on, I will not clutter this blog any more with these kind of off topic posts.

Posted by hakank at 06:52 PM | Permalink