GitHub repository: melahi/rantanplan
Primary language: C
Description: RanTanPlan is a planner that supports numeric fluents and uses a planning as SMT approach.