This copy of CVC3 is also configured to use the SAT solver zchaff whose
copyright is owned by Princeton University and is more restrictive.

Specifically, it may be used for internal, noncommercial, research purposes
only.  See the copyright notice in the following files for more information.
To build CVC3 without these files, please delete them and then run:
<pre>
   ./configure --disable-zchaff
   make
</pre>

<pre>
src/sat/xchaff_base.h
src/sat/xchaff_dbase.h
src/sat/xchaff_solver.h
src/sat/xchaff_utils.h
src/sat/xchaff_dbase.cpp
src/sat/xchaff_solver.cpp
src/sat/xchaff_utils.cpp
</pre>

