fix: export regarding new solver tx #245

Closed jiaqi-aperture closed 2 months ago