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