OMPL: LTLWith Triangulation

Official OMPL native main example for LTLWith Triangulation. Inspect the pinned source and upstream setup before use.

ompl-demos-ltlwithtriangulation-cpp | Record version: source-26b0e36faa2a35bff0e93fd13e030fdc6569f299f453ce1a0a95eaf9425691e7

Record JSON | Markdown | Pinned upstream source

Access

Fetch the pinned repository, verify this source checksum, and use upstream installation and invocation. This record does not install or execute code.

Hub preparation adapter: false. Follow the upstream setup and invocation contract.

Source and license

Repository: https://github.com/ompl/ompl
Revision: 1ae6ac0bf7e9cb67d8994a8b8742833f813fdd39
Path: demos/LTLWithTriangulation.cpp
Source SHA256: 26b0e36faa2a35bff0e93fd13e030fdc6569f299f453ce1a0a95eaf9425691e7
Original authors: See pinned upstream source and license notices.
License: BSD-3-Clause
License scope: Selected example source code only; preserve upstream copyright and per-file notices. Robot models, datasets, weights, simulator binaries and third-party dependencies retain their separate licenses.
License SHA256: f1b0b41dbea7d46f34a723e827b5ef50070d006b34d5463f77a0a06d3dccdf2d
Hub commit: 88022cc5fa2396f47b1f2354e988189dc8e53bea

Requirements

{
  "python": "Python/C++ toolchain compatible with pinned OMPL 2.0.2",
  "packages": [
    "OMPL 2.0.2 pinned source",
    "CMake/compiler and optional Python bindings/dependencies per selected demo"
  ],
  "display": "Build the selected native demo target or install matching Python bindings. Planning demos need their state-space/validity assumptions and optional meshes/data; a solution path is not automatically a controller.",
  "execution_domain": "computation-or-simulation",
  "source_imports": [
    "iostream",
    "ompl/base/spaces/SE2StateSpace.h",
    "ompl/config.h",
    "ompl/control/SimpleSetup.h",
    "ompl/control/SpaceInformation.h",
    "ompl/control/planners/ltl/Automaton.h",
    "ompl/control/planners/ltl/LTLPlanner.h",
    "ompl/control/planners/ltl/LTLProblemDefinition.h",
    "ompl/control/planners/ltl/ProductGraph.h",
    "ompl/control/planners/ltl/PropositionalDecomposition.h",
    "ompl/control/spaces/RealVectorControlSpace.h",
    "ompl/extensions/triangle/PropositionalTriangularDecomposition.h",
    "vector"
  ]
}

Invocation

{
  "entrypoint": "Native main: demos/LTLWithTriangulation.cpp; build the target declared by the pinned upstream build files",
  "notes": "Build the selected native demo target or install matching Python bindings. Planning demos need their state-space/validity assumptions and optional meshes/data; a solution path is not automatically a controller. No Hub preparation adapter or measured runtime success is claimed."
}

Explicit compatibility

[]

Missing environment fields remain unknown. Discovery labels do not establish robot compatibility.

Evidence

Level: source_reviewed; runtime verification: not_run.

Fetched and SHA-256 checked this immutable source; statically parsed Python or located native main; verified pinned license bytes and checked explicit per-file license identifiers. No upstream code executed.

Source review and contributor reports do not establish task completion. Preserve upstream attribution and licenses.