Negotiation games

Tool implemented by François Schwarzentruber using the algorithm of Valentin Goranko in his LOFT 2016 paper.

Input

Output