Opened this issue 13 years ago · 1 comments
SAT solver could most likely help here. Have to think how to add c extensions..