Function varisat_checker::sorted_lits::is_subset

pub fn is_subset(subset: &[Lit], superset: &[Lit], strict: bool) -> bool

Test whether a set of literals is a (strict) subset of another set of literals

Requires subset and superset to be sorted.