Open RiesBen opened 2 years ago
Should it be possible to add up multiple cnfs? - if so we could overwrite the operator.
This should probably be include in PR #226
Should it be possible to add up multiple cnfs? - if so we could overwrite the operator.