Description of subdirectories:

big-int - a class for big integers
problem1 - files for problem 1: look here!
smvlang - parser for SMV language
util - some utility code

Compilation: Compilation should work on any SCS unix machine with gcc using
"make" (or, on Solaris, gmake).
