Add `-changed` to the solver criteria