Compositional Model Repositories via Dynamic Constraint Satisfaction with Order-of-Magnitude Preferences