3 Commits (921a97457dffbb2e969b54abb13deaa64238c95b)

Author SHA1 Message Date
Nils Adermann 79066931e6 Update exception message for disabling multi conflict rules 5 years ago
Nils Adermann dc0f2e7e46 Ensure multi conflict rules are only used for 3+ literals
Implements the equals method correctly on multi conflict rules. If there
are fewer literals a regular Rule2Literals is enough to represent the
basic conflict rule.
5 years ago
Nils Adermann ed300b9f22 New Multi Conflict Rule for transitive conflicts, to reduce memory 5 years ago