Mark models with no constraints as feasible in presolve

Currently there are no cases where we mark a model as being feasible. However, we could/should in the case that the model has no constraints.

Inizia individuando la logica di presolve che determina se un modello è ammissibile. Verifica come vengono rappresentati i modelli senza vincoli e come viene attualmente registrata l’ammissibilità. Il lavoro è completato quando un modello senza vincoli viene contrassegnato come ammissibile durante presolve, con test esistenti o un nuovo test mirato che confermi questo comportamento.

Scritto dal modello di indicizzazione a partire dal testo della issue.