search

plaans / aries

Toolbox for automated planning and combinatorial solving.
MIT License
43 stars 6 forks source link

Add option -p to gg #7

Closed Cestquilepatron closed 3 years ago

Cestquilepatron commented 3 years ago

This is a request to add an option -p or --plan to add at "gg". This option let you create a file with the plan create by "gg".

arbimo commented 3 years ago

The name of the file should be passed on the command line (so usage can be automated in scripts). Also there is not enough content in write.rs to justify the creation of a new file. This code should be directly in gg, either as a separate function or directly inline.