Stay organized with collections
Save and categorize content based on your preferences.
C++ Reference: class DisjunctiveWithTwoItems
Note: This documentation is automatically generated.
This is an optimization for the case when we have a big number of such
pairwise constraints. This should be roughtly equivalent to what the general
disjunctive case is doing, but it dealt with variable size better and has a
lot less overhead.