Solver: cosa sono e come funzionano