SNePS is the Semantic Network Processing System. It is the implementation of a fully intensional theory of propositional knowledge representation and reasoning. SNePS-2.3 runs on a variety of Lisps (CLISP, GCL, Allegro, Lucid, etc.) and OS platforms (Unix, TI-Explorers, Mac). sneps is available via anonymous FTP from ftp.cs.buffalo.edu [128.205.32.53], in directory /pub/sneps/.