After a long time starting development of STANLY at our university, we are proud to submit this interesting project to SourceForge. We are going to commit the complete source code in the next days and also post some documentation files.