N pairwise algo for variables

Question

Opened this issue 13 years ago · 1 comments

Answer 1 · 2012-02-11T20:39:47.000Z

SAT solver could most likely help here. Have to think how to add c extensions..