let hash_of_clause (clause: clause) : int = List.fold_left (fun acc literal -> (acc + (hash_of_literal literal)) * 131 ) 0 clause