Skip to main content

CANDIDATE_TRACE_FORMAT_VERSION

solverforge_solver::stats

Constant CANDIDATE_TRACE_FORMAT_VERSION 

Source 
pub const CANDIDATE_TRACE_FORMAT_VERSION: u32 = 3;
Expand description

Wire-format version for CandidateTraceHeader and every framed value in this module.