ICFP 2013 Programming Contest
We have a python script that translates between the web API and our solvers.
Our solvers are the meaty bits, writen in F#, Haskell, etc.
The solver expects the first line to be a program to compile, and every following line to be a set of arguments to evaluate using the program.
They will be given the metadata for a problem and try to come up with a plan for solving it within 5
minutes. When they have a plan, they will enact the plan by sending
guess requests to
stdout and reading the responses from stdin.
output-list are a space seperated list of 64-bit vectors in whatever format suits.
win|lose [<input> <ouput>]
program is the program as a string,
input is a counterexample and
output is the correct
matching output. If the guess was correct,
output will not be present