Pass --minor or --force to the constraint solver