Constant REFERENCE_SOLVER_PROVIDER 

pub const REFERENCE_SOLVER_PROVIDER: SolverProvider;

Exact declared release identity of the deterministic reference solver.