varisat_internal_proof

Function lit_hash

Source 
pub fn lit_hash(lit: Lit) -> ClauseHash
Expand description

Hash a single literal.

Multiple literals can be combined with xor, as done in clause_hash.