Votail FAQ

Here is a list of Frequently Asked Questions about the Votail system:

• What is Votail?

  Votail is an implementation of Ireland's method of Proportional Representation by Single Transferable Vote (PRSTV). The functional requirements derived from Irish electoral law are specified using Business Object Notation (BON) and the Java Modeling Language (JML). Formal methods have been used to verify the correctness of the software.

• What does "Votail" mean?

  "Votail" is the Irish word for "Vote"

• What is the latest version of Votail?

  The first beta release of Votail, took place in late February 2010.

• What license will be used for the release of Votail?

  Votail is released under the MIT/X Open Source License.

• Who are the main contributors to Votail?

  The contributors to Votail include Joe Kiniry, Dermot Cochran and Patrick Tierney.

• Where can I get the latest source code for Votail?

  The source code for Votail version 0.0.1 beta release can be downloaded either as a TAR.GZ file.

  Votail development is hosted at GitHub.