Fattorizzato il codice in tre files: solver.ml example.ml worker.ml