Model Enumeration via Assumption Literals