This is information about the proving software.  More information will be available here later.

Requirements

Java 1.5

The proving program is a Java application  written with Java 1.5.

Internet Connection

The proving application requires Internet connectivity.  The application "phones home" at the start to find out how many proving runs you have available for each event.  The application then periodically contacts our servers for MDP problem specifications and to send results.  Our communication protocol opens a connection for each message that needs to be sent back and forth (as opposed to one long-running persistent connection), so connectivity is only technically required when finishing one MDP and starting the next. However... you should try and stay connected to the Internet at all times.

Getting Started 

For now, know that you can do a proving run by downloading the latest software and doing:

$>make

$>cd proving

$>bash run.bash

That will start the proving app.  Now, in another window, start your agent.  Then, chose the event you want to compete in, and press "run experiment".

 Note: These experiments will take a long time, 10-20 hours.