Closed keyan3 closed 2 years ago
fixes #82. the previous deduplication code did not properly identify rules as duplicates of one another if the order of the antecedents was not identical.
fixes #82. the previous deduplication code did not properly identify rules as duplicates of one another if the order of the antecedents was not identical.