USING THE game01.exe PROGRAM.

This executable is the compiled and linked version of the Ada program
for the Domain Pruning by Revision algorithm in Shoham and Leyton-Brown's
Multiagent Systems.  The program has been compiled and linked on a
Windows NT system.  [Don't expect it to work on a Linux system or a
Mac.]

To run the program, you need an input file, such as Game01_Input.txt,
and an output file location, say Game01_Output.txt.  If you want to avoid
complications, you can put the input and output text files in the same
directory as the executable.  Open the command line window in the
operating system and type

game01.exe Game01_Input.txt Game01_Output.txt

The command line window will display a number of text lines that indicate
the program has executed.  When it stops, you should find a text file named
Game01_Output.txt in the directory where you ran the program.

If you park the input text in some other directory, you'll need to have the
second argument in the command line be the full file name, including the
directory.  Ditto for the output text file.

Please note that you are bound by the GNU GPL copyleft license, such 
that

This program 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.