Please see
http://melt.cs.umn.edu/silver/index.html
.