This is a port of smv on Windows NT. This distribution includes:

smv.dsw: Visual C++ 5.0 Project File.
*.c, *.h: Source and header file.
debug\smv.exe: Precompiled exe file.
examples\*.smv: smv examples.
input.m4,
input.lex,
grammar.m4,
grammer.y: The original UNIX lex and yacc file(provided for reference).


