1Yices SMT Solver, Copyright SRI International
2=============================================
3
4This file is part of the Yices __YICES__ binary distribution for Windows.
5
6Yices is free software: you can redistribute it and/or modify
7it under the terms of the GNU General Public License as published by
8the Free Software Foundation, either version 3 of the License, or
9(at your option) any later version.
10
11Yices is distributed in the hope that it will be useful,
12but WITHOUT ANY WARRANTY; without even the implied warranty of
13MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14GNU General Public License for more details.
15
16You should have received a copy of the GNU General Public License
17along with Yices.  If not, see <http://www.gnu.org/licenses/>.
18
19This distribution includes four solvers
20
21  bin/yices.exe       (for the Yices 2 language)
22  bin/yices-smt.exe   (for SMT-LIB 1.2)
23  bin/yices-smt2.exe  (for SMT-LIB 2.0)
24  bin/yices-sat.exe   (sat solver, DIMACS format)
25
26and the Yices libraries and header files
27
28  bin/libyices.dll
29
30  lib/libyices.lib
31  lib/libyices.dll.a        (for mingw only)
32
33  include/yices.h
34  include/yices_types.h
35  include/yices_limits.h
36  include/yices_exit_codes.h
37
38
39Examples and documentation are in the examples and doc directories.
40
41
42The binaries and library require the GNU Multiprecision library (GMP)
43version __GMP__ or compatible. GMP must be installed as a DLL for Yices
44to work.  GMP is copyright Free Software Foundation (see NOTICES).
45Check the GMP website (http://gmplib.org) for instructions on how
46to install GMP on Windows.
47
48
49
50For more information, please visit http://yices.csl.sri.com.
51
52
53