{
  "name": "IntVioIndex",
  "url": "https://www.gurobi.com/documentation/11.0/refman/intvioindex.html",
  "dtype": "int",
  "otype": "model",
  "modifiable": false
}