Archive for March, 2010 | Monthly archive page
Sudoku solving with Python and SAT
At Logic class last week we saw how to solve a Sudoku using SAT and for fun I decided to actually try this out using Python. It turned out to be pretty trivial to implement and I thought I’d share the experience. First of all let’s see how the Sudoku problem was described at class: [...]
You no longer have an excuse not to look at Python Snippets!
You’ve probably already heard of Jono Bacon’s effort to create a collection of Python snippets and of Acire, the application to browse through them. If you’re interested in developing something with Python you should really take a look at those 115 (and couting!) awesome snippets, ranging from the most basic stuff to more advanced examples [...]
