violations

Usually empty unless you use hard constraints