use Data.Set in ToySolver.Cooper.Core