Module varisat_checker::sorted_lits

Utilities for slices of sorted literals.

Functions

copy_canonical	Sort literals, remove duplicates and check for tautologic clauses.
is_subset	Test whether a set of literals is a (strict) subset of another set of literals