Yices SMT Solver, Copyright SRI International

This package includes four variants of the Yices SMT solver and the Yices runtime library for MacOS X. 
 All components will be installed in

	/usr/local/bin
	/usr/local/lib
	/usr/local/include.

Examples and documentation will be installed in 

  	/Library/Documentation/Yices-2

The binaries and library were linked statically against GMP version 5.1.3, copyright Free Software Foundation.