Function varisat_checker::sorted_lits::copy_canonical

pub fn copy_canonical(target: &mut Vec<Lit>, src: &[Lit]) -> bool

Sort literals, remove duplicates and check for tautologic clauses.

Return true if the clause is a tautology