aggiunto HTSP solver

aggiunto metodo per la validazione delle istanze HTSP