anyone used lime to dry up a muddy area in your yard?

How big is the area? And depth?

I would white sand,( play sand) in first to 2" below grade then tamp it down the add river sand (traditional), for topping to grade. Drop in grass seed and water.