UNIVERSITY AT BUFFALO - STATE UNIVERSITY OF NEW YORK
The Department of Computer Science & Engineering

Downloads

Beta Version: Sneps 2.7.1 SNePS 2.7.1 is available on the UB CSE Linux machines by loading /projects/snwiz/bin/sneps into a Common Lisp image. For more detailed instructions, see Instructions for Running SNePS on UB CSE Computers. The changes in SNePS 2.7.1 are described in the SNePS 2.7.1 Release Notes. Current Version: Sneps 2.7.0 SNePS 2.7.0 source is available* for downloading under the University at Buffalo Public License as: Source code: Sneps-2.7.0.tar.gz. (Except for the Java-SNePS API and the JUNG/JIMI version of show, this can be compiled by any ANSI Common Lisp.) Windows executable: Sneps-Windows-Exe-2.7.0.zip. Linux executable: Sneps-Linux-2.7.0.tar.gz. Unix executable: Sneps-Unix-2.7.0.tar.gz. The User's Manual is available as SNePS 2.7 User's Manual The changes in SNePS 2.7 are described in the SNePS 2.7 Release Notes. Note if you downloaded SNePS 2.7 before 21 March 2008: As of March 21, 2008 these releases have been updated to fix a bug in the load command. Users of the Source code can either download the new archive, using the above link, or the new buildfns.lisp file here. This file should be placed in the sneps/fns subdirectory of the SNePS home directory, and then the system should be recompiled. Users of any of the executables should redownload the zip archive for their particular platform, using the above link. They can keep their old sneps_config.lisp file unchanged. Previous Version: Sneps 2.6.1 The previous version of SNePS, SNePS 2.6.1, is still available as Sneps-2.6.1.tar.gz SNePS 2.6.1 is available for downloading under the GNU General Public License. The User's Manual is available as SNePS 2.6.1 User's Manual. The changes in SNePS 2.6.1 are described in the SNePS 2.6.1 Release Notes. Previous Version: SNePS 2.6.0 The previous version of SNePS, SNePS 2.6.0, is still available as Sneps-2.6.0.tar.Z SNePS 2.6.0 is available for downloading under the GNU General Public License. The User's Manual is available as SNePS 2.6 User's Manual Last modified: Tue Sep 15 10:51:17 EDT 2009 Stuart C. Shapiro <shapiro@cse.buffalo.edu>

TOP | BIBLIOGRAPHY | SCHEDULE | SNeRG HOME | HOME