TaxSolver: A methodology to realize optimal income tax reform