Annotated Index of the Problems
The problems and their files are as follows. Note that files with extensions .txt, .html, .htm, .ps, .pdf contain problem descriptions, while Makefile files describe how the autojudge runs solutions, and other files are (typically data) files that are needed to solve the problem.
|blowfish||blowfish.txt Makefile sample.in|
|paxos||paxos.txt paxos_theorem.txt Makefile|
|prooflabel||prooflabel.txt Makefile sample.in|
|unify||unify.txt Makefile sample.in|