Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Repace 'invert_options' by 'solver_options' (second try) #184
This pull request contains the following changes:
This PR addresses #122.
After some discussion, we decided that there are too many corner cases where the approach in #183 does not work out very well.
As there are relatively few places, where new operators are created, for which appropriate