- Adds combinatorial variable probing to reach cardinality minimality (HC algorithm).
Merge remote-tracking branch 'origin/master'