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