Add an exact non-linear solver for systems of simultaneous equilibria to the NICE (“N-species ICE-table”) Julia module. A system of simultaneous equilibria’s steady state can be computed by solving a ...

This project demonstrates how to compute exact Nash equilibrium families for extensive-form games using symbolic algebra and the Z3 SMT solver. The approach introduces parameters for each player's ...