Set-Cover-Boolean-Reduction

A C++ implementation of a Set Cover Boolean Reduction algorithm that performs matrix simplification using absolute row detection and heuristic removal steps.