Last updated 5 months ago
By default, one interrupt will automatically be created for each constraint in the model.
For the purposes of the Peanut Butter model, we will leave these unmodified.
