{
  "title": "Three-variable inequality constraint",
  "origin_url": "https://www.minizinc.org/doc-latest/en/flatzinc.html",
  "license_guess": null,
  "code_sha256": "4d7d1185a424ec7873ef55e5709755faeb9a603023d36c37996d5b376b7da9e6",
  "added_at": "2026-03-05T10:00:00Z"
}
