Module problem_ref 

Typed internal problem references with catalog-validated variants.

Structs

ProblemRef

A typed internal reference to a specific problem variant.

Functions

parse_catalog_problem_ref

Parse a slash-separated problem spec string against the catalog.

require_graph_variant

Check whether a catalog-validated ProblemRef exists in the reduction graph.