added general nash solver