ma... funziona già così
nella sezione covering tools lasci il max nr =0 e lui esegue quanto chiedi , miglioramenti inclusi.
Poi il totale lo si lavora nella sezione shrink.
lo si usa poco perchè è un processo lentissimo.
Mi mancano invece le cose che nel verificatore V1,10 c'erano:
- La possibilità di caricare colonne come sistema integrale da lavorare ( file.col )
- La possibilità di salvare le colonne scoperte ( quando k=m
le riduci a passo ed hai immediatamente le colonne da aggiungere al sistema )
- una volta che ho ordinato le colonne da min al max della copertura, o viceversa, importarle come sistema.
( le salvo file.txt, importo in excel, ricopio le sole colonne senza la loro copertura , reinserisco come sistema e riprendo la elaborazione
)