Latest version: v0.3.4
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
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.
No known vulnerabilities found
Has known vulnerabilities