2 ms·

But it's a satisfiability problem. Seems NP-complete in the general case to me.

• ladberg 6y ago
  Huh yeah that could be right... I'll have to think about it more.