How to compile? Follow these instructions:

a) You need a SAT solver (in source). We recommend MiniSat.
   Alternatively, you may use zchaff, Booleforce, or
   SMV-SAT (if you work for Cadence).

b) Adjust src/config.inc for the paths to a).

c) Adjust the file src/utils/hash_cont.h

   Depending on the version of your STL, you need to adjust a preprocessor
   command. Recent versions of Linux and Cygwin run with the defaults.

d) For some 64-bit machines (e.g., new Macs), you have to adjust the two
   #defines in big-int/bigint.hh.

e) Type cd src; make - that should do it.
