A tool for computing Nash equilibria