validate icon indicating copy to clipboard operation
validate copied to clipboard

Published 20 hours ago • verified publisher icon data-cleaning

better expansion of `var_group()`

Open markvanderloo opened this issue 4 years ago • 0 comments

If var group G occurs twice in the same rule, it should not be multiplied.

markvanderloo avatar Mar 17 '21 10:03 markvanderloo