We would like ``` model.disjoint_lists_symbol(0, 1) ``` and ``` x = model.list(0, 0, 0) model.add_constraint(is_disjoint_cover([x], 0)) ``` to have the same behavior. The former is perfectly valid; in contrast, `is_disjoint_cover` rejects the latter construction.
We would like
and
to have the same behavior.
The former is perfectly valid; in contrast,
is_disjoint_coverrejects the latter construction.