another sudoku
km partitioning
kmpartitioning
kmpartitioning
km partitioning
graph partitioning stuff
trying to find model indices of conjoined obdds