README.txt file for MathSAT 5
-----------------------------

Contents of the tarball:
  README.txt            This file.
  LICENSE.txt           The MathSAT 5 License.
  CREDITS.txt           Credits for code used in MathSAT 5.
  bin/mathsat           The MathSAT 5 executable.
  include/mathsat.h     The MathSAT 5 API header file.
  lib/libmathsat.a      The MathSAT 5 library.
  examples/*            Various examples on using MathSAT 5, both via the
                        command-line and via the C API.
  configurations/*      Sample configurations files for MathSAT 5.
  

MathSAT 5 is linked with the Gnu Multiprecision Library (GMP) and the GNU C
library (glibc), both covered by the GNU LGPL license. A copy of the LGPL and
the GNU GPL license are included in this tarball (files lgpl-3.0.txt and
gpl-3.0.txt). For other credits, see the CREDITS.txt file.
