Replaced a wrapper script with the new constraint solver name.