Rewrite `count_alldiff`
Opened this issue · 0 comments
jdmoorman commented
The current implementation of count_alldiff on the master branch is gross and all of the names are terrible. Start by renaming all of the variables and consider reimplementing from scratch. Take advantage of the notion of "equivalence classes".