1. A computer-implemented method comprising: solving a static model to generate a first solution based on a first set of constraints representing a first desired configuration of an electronic device based on an electronic device design; generating first coverage data indicating a first configuration of the static model that resulted in the first solution; identifying a second set of constraints as complete based on the first coverage data, the second set of constraints representing a second desired configuration of the electronic device; omitting the second set of constraints from application to the static model in response to identifying the second set of constraints as complete; modifying the electronic device design based on a plurality of solutions of the static model, the plurality of solutions including the first solution; and, storing the modified electronic device design at a computer system.