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.
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.