v.24.6Bug Fix

Fixed CNF Simplification for Mutually Exclusive Atoms

Official CH changelog text
Fixed CNF simplification, in case any OR group contains mutually exclusive atoms. #64256 (Eduard Karacharov).
PreviousNext