per-constraint control of solver parameters