We would like to thank the following people/projects/institutes for contributing to PHP-SAT:
(In alphabetical order) * [[http://www.program-transformation.org/Main/MartinBravenboer][Bravenboer, Martin]]
For being my mentor during the Summer of Code, fixing bugs and helping in every way he can. * [[http://www.st.ewi.tudelft.nl/~dolstra/][Dolstra, Eelco]]
For providing [[http://hydra.nixos.org/project/psat][Hydra]] builds for all projects * [[http://www.lamacha.nl/index.html][Geenhuizen, Robert van]]
For making the PHP-Sat logo, very cool! * [[http://code.google.com/soc/][Google Summer of Code™ 2006]]
For accepting the application and funding the start-up of PHP-Sat.
* Hemel, Armijn, Hemel Tim
For testing PHP-Sat in a very early stage, providing useful feedback and ideas
* [[http://www.program-transformation.org/Stratego/StrategoCommunity][Stratego community]]
For providing a solid infrastructure for php-sat. * [[http://www.cs.uu.nl/wiki/Center][Universiteit Utrecht, Center for Software Technology]]
For sponsoring the project with the build farm, svn-repository and the mailing lists. * [[http://www.program-transformation.org/Main/EelcoVisser][Visser, Eelco]]
For proof-reading the application for the Summer of Code If you feel that you should also be named on the list, or want to get off, then please let us know.