NEGEXT toolkit

    NEGEXT is a software tool for analyzing extensive form games. NEGEXT encompasses:

    • A graphical interface for interactively building finite game trees.

    • Combining two game trees and analyzing sequential and parallel combination of extensive form game trees.

    • Checking the strategy for each players and a group of players.

    The purpose of the program is to aid in the teaching of game theory and its applications, for students, in particular, to understand more about the combination of games.

    System requirements for NEGEXT

    NEGEXT has written in java version 1.7.0_02. Before running this software, JavaTM Platform, the Standard Edition Development Kit (JDK) needs to have been installed. If you have not installed JDK, you can download Java SE Development Kit 7. The windows, linux and solaris users can download the software from 'for windows, linux and solaris users'.The mac users can see the instruction for installation in 'for mac users'.

    How to run NEGEXT

    You download the jar file 'NEGEXT' below and save it in your computer. Then, you can double click the jar file or you can open the jar file as follows: Open With --> Choose Default Program --> Java(TM) Platform SE binary.


    Instructions for using NEGEXT

    A list of instructions regarding how to use the software NEGEXT can be found in the User manual for NEGEXT.

    Limitations of the current version of NEGEXT

    The program uses a modified form of binary tree data structure for organizing tree nodes. As input, the program allows only binary game trees consisting of a root and at most two levels of children. For this reason, each node has at most two child nodes. Each of the last level player nodes must have two child (terminal) nodes. So, even if you need to have one outcome (given by say, the left terminal node) for some player node, insert right terminal node with duplicated outcomes (propositions).

    The program does not yet allow large arbitrary trees to combine. The program focuses on analyzing the results of sequential and parallel (interleaving) combination of game trees and how the players' strategies work in such combination of trees.