aggiunta eliminazione letterali duplicati
aggiunta eliminazione formule marcate duplicate
migliorato algoritmo per il riconoscimento di due liste uguali
Merge branch 'master' of https://github.com/work-out-web/tableauSolver.git