********************************
		* KeY Byte Code Installation   * 
		*        Version 2.2.1         *
		********************************


(1) Requirements: 
-----------------

Operating Systems: Linux/Unix 
                   Mac OS X
                   Windows NT or newer

Java SE 6 or newer (already installed)

Needed additional Libraries:
	antlr.jar Version >= 2.7.7: parser generator
	recoderKey.jar
                 a transformation framework for Java patched by the KeY group

Optionally, KeY can make use of the following binaries:
	SMT Solvers: bindings exist currently for Z3, Simplify, Yices and CVC3
              (export to SMT input file possible)        


(2) Contents of the KeY distribution
-------------------------------------

  At the KeY homepage you can find the following parts:

   * README-xxx.txt: this file
   * KeY-xxx.tgz or KeY-xxx.zip: 
                the KeY-system in the jar-file version. That is the
                distribution version without the source code.
   * KeYExtLib-xxx.tgz or KeYExtLib-xxx.zip: 
                contains the external libraries (see above) 

   where xxx stands for the current version.


(3) Installation (Byte Code)
----------------------------

	1) Copy the KeY-xxx.tgz or KeY-xxx.zip to a temporary directory; 
	   Here: tmp/

	2) Unpack KeY.tgz 

		Linux: 
		   tar -xzvf KeY-xxx.tgz 

		Windows (use your favorite unpack program, e.g. WinZip) 

	3) The following files should be found in the directory (tmp/):
		setup.jar key.jar LICENSE.TXT

	4) Change to tmp/ and start installation wizard:
               java -jar setup.jar 
           ( or (depends on platform): double-click on setup.jar )

	5) Follow the instructions of the wizard.

	6) Optional: Install SMT solvers.


(4) Start KeY 
-------------

	Change to the chosen installation directory 

	Go to subdirectory bin and run 'key'


-------------------------------

If you encounter problems, please send a message to

		support@key-project.org