Allow choosing which operators to use #1
Description
Add feature to allow user to choose which operators to use. As a side, also have an option to allow tool to report what operators are available to start with.
{{ message }}
Add feature to allow user to choose which operators to use. As a side, also have an option to allow tool to report what operators are available to start with.