test-models/cruise-control/cruise-control.dzn:error:No such model: "cruise-control"
