During the conception of eVACS, Dr Jeremy Dawson, then of the ANU, developed a prototype Hare-Clark vote counting program using the programming language Standard ML.
This code was designed to enable scrutiny of the results by non-experts: for example, one can replay the counting and identify those votes which were allocated to a particular candidate at a particular iteration of the count.
The results produced by our Standard ML vote counting program are here, and agree with the results of the ACT 2001 election. The Teletubbies Test Election is also reported correctly.
Note: This is old code which was used in the prototyping stages of eVACS. It has not been verified against our logical specification. See Conclusions and Further Work for our plans to modify this code.
The source code can be downloaded from here: mlcounter.tar.gz.
|
Site Map and Table of Contents |
Disclaimer |
Page content Copyright 2003 NICTA
|