{
  "problem": 18,
  "title": "Finding an Equivalent Binary Inequality",
  "objective": 25.0,
  "objective_units": "absolute right-hand side",
  "sense": "minimize",
  "termination": "optimal",
  "max_violation": 0.0,
  "domain_checks": "passed",
  "pyomo": "6.10.1",
  "highspy": "1.15.1"
}