(*  VoteTec
 *  Copyright (C) 2009 Eric Cederstrand, Carsten Schuermann
 *  and Kenneth Sjøholm
 *
 *  This file is part of VoteTec.
 *
 *  VoteTec is free software: you can redistribute it and/or modify
 *  it under the terms of the GNU General Public License as published by
 *  the Free Software Foundation, either version 3 of the License, or
 *  (at your option) any later version.
 *
 *  VoteTec is distributed in the hope that it will be useful,
 *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *  GNU General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with VoteTec.  If not, see <http://www.gnu.org/licenses/>.
 *)


This is an implementation of a voting scheme that is based on a paper
published at REVOTE 2009, "Electronic Elections: Trust Through
Engineering" by Carsten Schuermann.

http://www.informatik.uni-trier.de/~ley/db/conf/re/revote2009.html

This system was created as a study project by Eric Cederstrand and
Kenneth Sjøholm.  Their report and a copy of the above paper is in
this repository in the docs directory.

Edit the file Election.xml to describe the election.

Run the election by starting "java Evoting".

VoteTec generates out of Election.xml user interface and Twelf files.

Note: This system does not use any crypto to protect against all kinds
of attacks.  This is not a shortcoming in the implementation, but was
not intended to be part of the project.  The point of this project is
to experiment with logic-based election protocols and integration
between off-the-shelf mainstream software (in this case, written in
Java) and logical frameworks like Twelf. http://twelf.org/