Add count change assignment solver