Location:Spain
RanTanPlan is a planner that supports numeric fluents and uses a planning as SMT approach.