Passing back options to clingo

[javier-romero]

Hi all,

Once acclingo finds a configuration, this configuration is printed in a format that is not directly acceptable by clingo's command line.

Is there an standard way of using this configuration with clingo? Or shall the user do a translation by hand?

Thank you!
javier

[kstrauch94]

Hi Javier, there is no standard way to get the configuration for now. The user has to do it by hand. I have written a tool that should work. You can try it out for now. I will work on it and add to acclingo later on.
link to the tool: extract_configs.py

Hope it helps!

[javier-romero]

Thx!

[kstrauch94]

With the newest update, the config extraction is integrated into acclingo. Once it finishes it will print out the best configuration in a format that is compatible with the clingo command line. Additionally, the extract_configs.py file can be found in the acclingo folder if you still want to use it on acclingo's output folder.