GringoApp, ClingoApp, and ClingoLib all provide a set of gringo options. Extract GringoOptions struct and provide common function for registering options with a command-line option group.
Checklist
Please only open Pull Requests against the wip branch
[ ] Have you followed the guidelines in our CONTRIBUTING.md document?
[ ] Have you checked to ensure there aren't other open Pull Requests for the same update/change?
[ ] Have you made sure that all tests succeed?
rkaminsk
commented
4 months ago
Checklist
Please only open Pull Requests against the wip branch
[ ] Have you followed the guidelines in our CONTRIBUTING.md document? [ ] Have you checked to ensure there aren't other open Pull Requests for the same update/change? [ ] Have you made sure that all tests succeed?