Open MaxOstrowski opened 6 years ago
I am not sure what is the best way to add this to the API. One way could be to extend the configuration with (possible read-only) values. I am not sure how difficult it would be to implement this in the existing system. This solution would have the charm that this is an often requested feature.
It would be nice to be able to use the portfolio feature (--configuration=file) to also parse options added via the clingo API.