New version of SNAP simulator

SNAP is a program for symbolic analysis of linear or linearized circuits and systems developed at Brno University of Technology, provided as freeware. The paper presents a new version of the program, which contains a new schematic editor and rewritten simulation engine. A unique property of SNAP is a system of libraries that allows user definition of new behavioral models, including non-electrical physical domains. The new version can perform both lossless and lossy symbolic simplifications. The lossy procedure is based on a combination of model- and formula-simplifications with a new error-controlling mechanism. In addition to symbolic analysis, it is possible to compute the semisymbolic form, and poles and zeros.