This portion of the material contains four major parts:
1. Documentation in the form of two pdf files for an Ada implementation
of the procedure Revise in Shoham and Leyton-Brown's text
"Multiagent System". The first file explains a bit about Ada
and how to obtain a free GPL version of an Ada development
environment and a free UML tool, BOUML. The second file
documents the Ada code.
2. A BOUML project and its UML web site for the design of
the Ada code.
3. The Ada code for a multi-threaded implementation of the
Revise procedure, using Ada tasks. The code also includes
four text files that can be used as input to the program after
it's been compiled and linked. These text files implement the
four test cases on p. 5 of Shoham and Leyton-Brown's text
in figure 1.4. The output from the program for each of these
input files is also included. In addition, a compiled and linked
executable of the program for a Windows NT system is also included.
4. A copy of the GNU General Public License for the code and the
documentation.