SNePS is in the following location: /home/CS475/sneps/Sneps-2.4.0 You will find a SHORTREADME file that will get you started.