Re: Anybody using the "top-down" solver?