fixpoint
fixpoint copied to clipboard
AllDifferent DC