ho cercato in rete ma non ho trovato nemmeno una soluzione a pagamento (che per ora non andrebbe bene). quel che cerco di fare è:
caricare il video sul server (gestito da me) e avviare il programma in modo che estragga 10/20 fotogrammi casuali e mi crei la gif animata.
per la procedura automatica si vedrà se è fattibile, intanto la creazione della gif per ora ha prevalenza e potrei anche farla manualmente.
conoscete qualche programma idoneo?