Before you can run Deduce, you need to obtain a copy of Python for your OS. If you're running Linux, you probably already have it. To find out, open a terminal window and try to run "python" from there.

If you don't have Python already, go grab a copy from http://python.org/download/ and install it.

Once you have Python installed on your computer, download Deduce by clicking on the Download link to the left. Deduce is distributed as a gzipped tarball. Windows users can use WinZip to uncompress this file. Unix users can use gzip and tar. When uncompressed, this tarball will create a new directory. Cd into this directory and run the file called "deduce.py". Congratulations! You're now running Deduce. Please refer to the included README file for further instructions.