Press release about SimPlan at LogiMAT 2025