SimPlan at LogiMAT 2023