2 projects
up-aries
Aries is a project aimed at exploring constraint-based techniques for automated planning and scheduling. It relies on an original implementation of constraint solver with optional variables and clause learning to which various automated planning problems can be submitted.
up-esb
General functionalities for using unified-planning in robotic applications
