RanTanPlan is a planner that supports numeric fluents and uses a planning as SMT approach.
Primary LanguageC