issues
search
plaans
/
aries
Toolbox for automated planning and combinatorial solving.
MIT License
39
stars
5
forks
source link
Extend chronicle definition and encoding:
#91
Closed
Yirmandias
closed
1 year ago
Yirmandias
commented
1 year ago
SAtom -> Atom for name and task arguments
New Sum constraint