Yices SMT Solver, Copyright SRI International
=============================================

This file is part of the Yices __YICES__ binary distribution for FreeBSD.

This release was built on __OS_VERSION__.

Yices is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

Yices is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.
 
You should have received a copy of the GNU General Public License
along with Yices.  If not, see <http://www.gnu.org/licenses/>.

Content
-------

This distribution includes four solvers

  bin/yices       (for the Yices 2 language)
  bin/yices-smt   (for SMT-LIB 1.2)
  bin/yices-smt2  (for SMT-LIB 2.0)
  bin/yices-sat   (sat solver, DIMACS format)

and the Yices library and header files

  lib/__DYLIB__
  include/yices.h
  include/yices_types.h
  include/yices_limits.h
  include/yices_exit_codes.h


Examples and documentation are in the examples and doc directories.


The binaries and library were linked statically against GMP version __GMP__,
copyright Free Software Foundation (see NOTICES).



Installation
------------

The binaries can be used as is. To use the library, you'll need to
create a symbolic link as follows:

  ln -sf __DYLIB__ lib/libyices.so

You can do the same thing with the shell script 'install-yices'
included in this distribution. Just type

  ./install-yices here



Alternatively, you can install Yices in /usr/local as follows:

  sudo ./install-yices

This will copy the binaries  /usr/local/bin, the header files in
/usr/local/include, and the libraries in /usr/local/lib.

To install Yices in another location, give the installation directory
as argument to the shell script:

  ./install-yices <dir>





For more information about Yices, please visit http://yices.csl.sri.com.