Constant RAYON_EXECUTION
pub const RAYON_EXECUTION: ExecutionId;Description
Stable execution identity recorded independently from the solver backend.
pub const RAYON_EXECUTION: ExecutionId;Stable execution identity recorded independently from the solver backend.