Implement multi-formula equality saturation #8
Description
C2PO only performs equality saturation on each formula individually, but we would like to be able to perform it on all formulas together.
{{ message }}
C2PO only performs equality saturation on each formula individually, but we would like to be able to perform it on all formulas together.