Simple Game Lab

Welcome to the Simple Game Laboratory, a playground for Simple Games and Multiple Weighted Voting Games in particular. The aim of this project is to solve some problems and answer questions which naturally arise when working with simple games.

or
(May take a few seconds to load; "Enter" opens the lab in a new window)

As a web application entirely written in JavaScript the laboratory works out of the box without any additional software except a modern web browser like Mozilla's Firefox or Google's Chrome.

News

Currently no news.

Features

Given any number of weighted voting games, the laboratory can handle any simple games built from them using conjunction and disjunction. That includes multiple weighted voting games.

Features include but are not limited to:

  • Efficient representation of simple games by using quasi-reduced binary decision diagrams (QOBDDs).
  • Load simple games from Boolean expressions and lists of minimal winning coalitions.
  • Compute, list and count winning, minimal winning, shift-minimal winning and blocking coalitions.
  • Perform tests if a game is complete/swap-robust (with counterexample if not), directed and determine its symmetry classes.
  • Test if a game is homogeneous.
  • Perform tests if a game is strong, proper and decisive, respectively.
  • Partial test if a game is weighted (with counterexample if not).
  • Export the simple game as a linear program to test if a game is weighted.
  • Determination of dummy and veto players and test for dictatorship.
  • Computation of Banzhaf, Shapley-Shubik, Holler-Packel, Deegan-Packel and Shift-Power index.
  • Test of being a weighted voting game. Export of the corresponding (integer) linear program.
Definitions for the terms are given in the help.

Contribute

There are some ways to contribute to this project:

  • Send a bug report.
  • Request a feature.
  • Contribute new features.
Any support is very much appreciated. Contact the author for details.

Download the Source Code

Even though this software is written in Java Script, the files available online may be compressed and/or compiled using, for instance, the Closure Compiler, so that they are hard to read and understand for humans.

The following archive(s) contain all source files necessary to run the laboratory on your computer, except third-party libraries.

FilenameDateSize
simple_games_lab-1.0.tar.bz2 25/03/2011
In order to get the laboratory working, extract the archive somewhere, say in /home/your_name/. On Windows it would be something like C:\Users\YourName\. The archive contains a directory named simple_games_lab-<version> where <version> is the laboratory's version, for instance, 1.0. Now perform the following steps:
  • Change working directory to simple_games_lab-<version>/.
  • Checkout the latest version of the Closure Library using Subversion:
    svn checkout http://closure-library.googlecode.com/svn/trunk/ closure-library
  • Download a recent version of RGraph and extract it into the current working directory. This should create a directory named RGraph/.
That's it. Now open the file
file:///home/your_name/simple_games_lab-<version>/index.html
in your web browser.

Acknowledgements

This project is supported by the German Research Foundation (Grant BE 4206/1-1) and it is part of SSEAC.

We would also thank the authors of the following third-party libraries which are used:

License

This software is licensed under the GNU General Public License Version 3 or later. Third-party libraries and code may have its own license.