We used Singapore Math
We use Singapore Math too, we really like it (but we did look at Saxon and I think it’s a great program too, just not what our daughter needed).