Yes, there is. I wrote it, and the source code can be found in my recent post, Kenken Solver in Python.
I’m publishing this post because I have found that posts draw more traffic if you write the title in the form of a search string, or the key part thereof, so that search engines will give the post a higher ranking. 
Postscript March 2, 2009:
This is the most popular of my recent posts, drawing 70 of the 300 views so far today.
I did a search on Google and found yet another confirmation that a well-chosen title increases the odds of the Google folks giving your writing a high ranking. Here are the first few hits for “ubuntu linux antivirus,” with the highest listed first.
#6 within a day of posting. Not bad.
The other postings can be summarize by the initial part of #2:
Question: While I trust my friends in other forums, I just wondered what a large group of Linux users think about whether antivirus software is needed for Linux.
Answer: No, I don’t think antivirus software is needed for linux boxes, except on mailservers to filter out windows viruses
1. I said engines to give Microsoft, Yahoo and others the false belief they can still compete in this game.