[eru]

Brute force? You can write a solver in 15 simple lines of Zimpl code (pun intended), that uses state-of-the-art constraint propagation and all that.

http://www.zib.de/Publications/Reports/ZR-05-51.pdf

[toadpipe]

The point is that some people are too blinded by their ideology to even come up with a crude solution, let alone an elegant one.