It can be found here: http://embed.cs.utah.edu/csmith/ Summary of new features is here: http://blog.regehr.org/archives/631 Enjoy! John