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.