Dynamic constraint solver