Thanks for your quick reply. I had a quick look at SICStus Prolog and Choco. I could get a personal license for SICStus for 165 Euros, or a free evaluation licence for 30 days (I’ll apply for the 30 day version and see what I can do in that time) and Choco I have downloaded, but neither seem to have any code I can adapt so it looks like I must spend some time to develop proficiency in Java or in Prolog, neither of which I have programmed in. Thanks for the advice, I’ll let you know how I go.

Stuart ]]>

we did most of our work with the SICStus Prolog system, and before with the CHIP system, both of which are not open-source, but commercial systems. For academic use, reasonable licence arrangements can often be made.

Of the open-source system, Choco probably has the largest library of placement constraints, developed over a number of years, with many options and possible side constraints. A link to the system is http://www.emn.fr/z-info/choco-solver/.

]]>I have a website with large catalogues of squared squares and squared rectangles and some triangular tilings (www.squaring.net). I have written my own software to produce square tilings, using the ‘classical method’ of graph enumeration and electrical network analysis. Recently I have produced a large quantity of square tiling data where I have the square sizes, and the sizes of the rectangles (and container squares) into which the squares fit perfectly, but without having the actual tiling arrangement.

So I am looking for software which will allow me to do this efficiently. The rapidly growing field of constraint programming seems to offer much in this regard, especially as perfect square placement and packing squares into rectangles seems to be one of the signature problems.

I was hoping you might be able to point me in the direction of some open source constraint programming code which I could use or adapt to do this. The particular data I need to pack includes rectangles composed of 16 up to 21 squares and squared squares composed of 24 up to 29 squares. I have downloaded gecode and have been experimenting with the perfect-squares example http://www.gecode.org/doc-latest/reference/perfect-square_8cpp_source.html, though I dont understand the source code enough to make the modifications I need.

I am running Ubuntu 12.04, I am reasonably proficient with linux and C++ although I am no expert.

What would you suggest would be best for me so I can make progress in getting my squares packed?

Cheers,

Stuart

]]>Tom.

]]>Greetings to you and all CP fans !

Very interesting to see this development.

One day, CP will enter the mainstream in computer science. ]]>

I really love it to see that CP is still alive.

Nice blog, I am a fan.

Trijntje ]]>