[−][src]Function varisat_internal_proof::clause_hash
pub fn clause_hash(lits: &[Lit]) -> ClauseHash
A fast hash function for clauses (or other sets of literals).
This hash function interprets the given slice as a set and will not change when the input is permuted. It does not handle duplicated items.