Incomplete list of contributors ------------------------------- Code and patches from: * [Andrea Censi](http://www.cds.caltech.edu/~andrea/) * [Jacques Distler](http://golem.ph.utexas.edu/~distler/) * Paul Dlug * [Ari Stern](http://www.acm.caltech.edu/~astern) * Damir Zekic (z3c) * Alexandr Mankuta (cheba) * Nathan Weizenbaum Bug reporting, feature requests and praise: * Snowman * Sander Bouwhuis * Aggelos Orfanakos * Louis Marascio * Elliot Cable * .... (if you think your name should be here, I probably forgot to add it: tell me!)