{
  "name": "strategies/nondeterministic",
  "version": "0.1.0",
  "description": "Fork at amb choice points with BFS/DFS frontier management",
  "requires": [],
  "effects": [
    "amb.op"
  ],
  "strategy": "nondeterministic",
  "backends": [
    "amb"
  ],
  "exports": [
    "nondeterministic"
  ],
  "helpTopics": [
    "nondeterministic"
  ],
  "id": "strategies/nondeterministic",
  "summary": "Fork at amb choice points with BFS/DFS frontier management",
  "keywords": [
    "strategies",
    "nondeterministic"
  ],
  "capabilities": [
    "amb.op",
    "backend:amb",
    "strategy:nondeterministic"
  ],
  "commands": [
    ":help nondeterministic"
  ],
  "docs": [
    "doc/api.md",
    "help/nondeterministic.help.md"
  ],
  "examples": [],
  "demos": [],
  "learningPath": "advanced"
}