SNARK09 moved. If you are not redirected automatically, click this link to go to our new page:
http://www.dig.cs.gc.cuny.edu/software/snark09/
.