conp-solutions/cnfmiter

tool to produce CNFs that certify equivalence of 2 input CNFs

C++NOASSERTION