{
  "name": "SolutionLimit",
  "url": "https://www.gurobi.com/documentation/11.0/refman/solutionlimit.html",
  "dtype": "int",
  "default": "MAXINT",
  "min": "1",
  "max": "MAXINT"
}