[−][src]Constant varisat::clause::header::HEADER_LEN
pub(super) const HEADER_LEN: usize
Length of a ClauseHeader
in multiples of LitIdx
pub(super) const HEADER_LEN: usize
Length of a ClauseHeader
in multiples of LitIdx