Mate Soos gave us a great workshop on SAT Solver Cryptanalysis and his project about Distributed SAT Solving. As soon as I’m back from ekoparty (Buenos Aires, Argentina), I will try what he posted on the /tmp/lab mailing list.
In the meantime, life is blooming in Paris with now 5 hacker spaces starting or alive and kicking! 🙂
(La Suite Logique : http://www.lasuitelogique.org/, La porte logique, Free Fermentology Foundation : http://kefir.wikidot.com/, Digital Non-Sense, et /tmp/lab bien sur).